Re: [NTG-context] latest beta (November 18th): likely bug in \mirror

23 Nov 2018


      Sorry for the mistake in the subject: the bug is in the latest beta of 
November, 18th.

mf