>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Two old bugs. But since it is a multiple reported bug and an Juergen> obvious fix I don't see why it should be postponed. I'd even Juergen> strongly propose this for 1.3.7. I would even accept it for 1.3.7 (I'd have to see the patch first). Extra automation is bad IMO. Juergen> The last word is on your side, though. Sure. JMarc
