Ralf Wildenhues <[EMAIL PROTECTED]> writes:

> Oh, I certainly would not mind a "nicer" patch.

Likewise.  Given that the patch fixes real problems, I suggest
installing it and waiting for the nicer fix later.


Reply via email to