forcemerge 666637 666613 severity 666637 grave thanks This is a bug in TexLive, and it is already reported.
I'm setting the severity to grave, as apparently this bug causes
quite a bit of FTBSes.
Cheers,
Vincent
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
