~reviczky/texlive/+git/github:branch2019-patched

Last commit made on 2019-09-12
Get this branch:
git clone -b branch2019-patched https://git.not.enabled/~reviczky/texlive/+git/github

Branch merges

Branch information

Name:
branch2019-patched
Repository:
lp:~reviczky/texlive/+git/github

Recent commits

There was an error while fetching commit information from code hosting service. Please try again in a few minutes. If the problem persists, contact Launchpad support.