>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> This did annoy me so much today that I fixed it. The same patch Georg> should work in trunk, too. Shall I put it in? This looks like a good idea. JMarc
>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> This did annoy me so much today that I fixed it. The same patch Georg> should work in trunk, too. Shall I put it in? This looks like a good idea. JMarc