On 2016-12-23 08:55, Arturo Borrero Gonzalez wrote: > On 22 December 2016 at 19:17, Benno Schulenberg <be...@vertaalt.nl> wrote: >> Have you also tried removing the \ from \@? > > Yes, it works too.
Thanks. Committed and pushed: 2fbb71d5. It will be in 2.7.3 next week. Regards, Benno