On Mon, Dec 12, 2016 at 11:06 AM, David Carlisle <[email protected]> wrote: > Sorry, Enrico pointed out a simpler example (same failure) > > > $\scriptstyle \nonscript\mkern1mu$ > \bye
Seen, thank you for the report. -- luigi
On Mon, Dec 12, 2016 at 11:06 AM, David Carlisle <[email protected]> wrote: > Sorry, Enrico pointed out a simpler example (same failure) > > > $\scriptstyle \nonscript\mkern1mu$ > \bye
Seen, thank you for the report. -- luigi