2012/12/16 Paul Isambert <[email protected]>:
> doesn't (both with TL2011); so perhaps the problem has really been
> fixed, except TL is not 100% up to date.

Binaries for TL are rarely updated via tlmgr.

Best
   Martin

Reply via email to