On Mon, 7 Apr 2008, Ben Caplan wrote:
>> How is the random determination made?  It would be much cleaner to
>> continue requiring a default value, I think.

The old rules called the "first listed option" the default value if
no default value was more explicitly specified.  This seems reasonable.
-Goethe




Reply via email to