For what it's worth, as the OP I consider this bug fixed given the new
behaviour as described.  Thanks!

-- 
  John  ! Why do CS majors always confuse Christmas and Halloween?
 Buttery!
www.io.c! Because DEC(25)=OCT(31).
om/~john!



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to