Subject: Re: FYI -- config(8) changes
To: None <>
From: Jonathan Stone <jonathan@DSG.Stanford.EDU>
List: current-users
Date: 06/27/1998 12:02:01
>Make it so.  I've already had 3 people complain to me about the warnings.

I've already  asked Scott to do it if tomorrow isnt soon enough.

BTW, defopt'ed options will still have a different "default" value as
non-defopt'ed options.  If we dont warn about non-defopt'ed options,
we should make defopt options have the same behaviour as non-defopt ones.