mptopdf output file not numbered.
kakuto at w32tex.org
Sun Dec 15 22:57:34 CET 2019
> If 'upstream' is represented by 'source.contextgarden.net', then it
> appears that
> also has the debian-patched contents (apart from the curious formatting
> of single quote characters).
Hans didn't notice the patch.
He promised to revert to the unpatched one in the next beta.
More information about the tex-live