>>>>> "Michael" == Michael Roth <mroth at nessie.de> writes: Michael> Positive logic is easier to read and understand than something Michael> like 'if not option=yes then foo else bar'. Committed, thanks. -- Bye, Peter Korsgaard