Am Sun, 14 Jun 2015 09:29:06 +0100 schrieb Joseph Wright:
>> Btw: This doesn't work either
> Problem identified: will also be fixed in an update (I'll send
> later today).
Ups. That was a bug too? I thought it was due to some catcode
difference ;-).
--
Ulrike Fischer
http://www.troubleshooting-tex.de/