Hi fellow TeX maintainers! So, what do we do about this bug?
The fix is rather simple; I can upload a fixed package and explain the matter to the RMs if you wish. I'd rather not release etch with this ugliness... I hope you're all doing well. Merry Christmas! -- Florent -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]