Re: Mention all new options in NEWS

Tom Tromey
2009-04-17T16:30:26Z

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

Eli> Would it be OK with everybody to request that new options be also
Eli> mentioned in NEWS, in addition to new commands?

Definitely.

I think one exception would be something like the new "maint" option
in one of Pedro's recent patches -- it is a temporary option that will
go away once the multi-inferior bits are more robust. This is a rare
case.

Tom