Thanks for your bug report. Could you add an example for such dvi file? That would make easier to reproduce/debug the issue
Thanks for your bug report. Could you add an example for such dvi file? That would make easier to reproduce/debug the issue