>>>>> Hilmar Preusse <[EMAIL PROTECTED]> writes: [...]
> Another incarnation of #483966 and friends. I'm leaving this bug
> now on texinfo to make sure, we won't get it a fourth time.
Indeed, I should've checked the texlive-bin bug reports, too.
[...]
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
