On 20 March 2016 at 19:43, Gavin Smith <[email protected]> wrote: > > but I want to understand what the point of the \edef was in the first > place, and what the point was of changing the catcode of backslash, > and test whether this is still necessary. Hopefully I'll get to this > soon.
I've committed a new change that should make special Unicode characters work again in @copying. Please let me know if there are any problems. Thanks.
