>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Actually, I didn't notice that. Anyway, it's understandable, Juergen> given the amount of last minute hurry (you also mixed some Juergen> commit logs this morning btw).. Indeed, now that you mention it... JMarc
