On Sun, Nov 17, 2002 at 09:02:06PM +0100, Matthias Urlichs wrote: > > Will it always? On Sun, Nov 17, 2002 at 03:13:51PM -0500, Raul Miller wrote: > Yes. Unless there's a tie and the person with the casting vote chooses > differently each time. I shouldn't have dismissed quite so casually. I'm still thinking about it. Thanks, -- Raul