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
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 marc.gli...@inria.fr
*