Hell Norberg > The git repo at git.texlive.info contains the full history as git, > including all files. Is this now 'official'? You were struggling with doing a good SVN-to-git conversion, IIRC... Werner