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 <marc.gli...@inria.fr> * doc/invoke.texi (Warning Options): Remove duplicated -Wmaybe-uninitialized.
Probably falls under the obvious rule. Regardless, this is OK. Thanks, Jeff