>>>>> "Juergen" == Juergen Vigna <[EMAIL PROTECTED]> writes:
Juergen> On 19-Feb-2002 Martin Vermeer wrote: >> Actually I removed the first branch (single paragraph) of the >> switch entirely, and your requirement Juergen> It seems you're right, if we comment out that part of code it Juergen> works anyway. Maybe we do more things than we actually need Juergen> to do, but IMO the operation is anyway so fast that we won't Juergen> notice it. What do others say? If _you_ say it seems reasonable and if Martin has looked at it as seriously as I believe he did, there is no reason why I could have further insight on that. Go for it! JMarc
