Paul E Condon writes: > The default could be to have the display manager, on initial startup, get > a random number from /dev/random, and use it instead of a human coin > toss.
And then we could have lots of fun trying to get new users who are having problems to tell us which desktop they were randomly assigned. -- John Hasler -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
