dvipdfmx file name issue

Akira Kakuto kakuto at w32tex.org
Wed Feb 12 00:07:39 CET 2020


Dear Christian,

> The pre-release dvipdfmx (20200116) seems to have a subtle issue. See:
> https://github.com/MiKTeX/miktex/issues/472

Many thanks. Fixed in r53760.

Thanks,
Akira



More information about the tex-live mailing list.