On Mon, 23 Jun 2014, Jeff Law wrote:
>> * doc/invoke.texi (Warning Options): Remove duplicated
>> -Wmaybe-uninitialized.
> Probably falls under the obvious rule. Regardless, this is OK.
It definitely does. :-)
Gerald
On 06/22/14 11:30, Marc Glisse wrote:
Hello,
a trivial patch to remove a duplicated option, you can see the second
one 4 lines below in the patch. (the mixed use of single or double
spaces in this list is strange)
This was included in the bootstrap of another patch.
2014-06-23 Marc Glisse
