This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch ping
- From: "Diego Novillo" <dnovillo at google dot com>
- To: "Jakub Jelinek" <jakub at redhat dot com>
- Cc: gcc-patches at gcc dot gnu dot org, "Jason Merrill" <jason at redhat dot com>
- Date: Fri, 26 Sep 2008 07:12:13 -0400
- Subject: Re: Patch ping
- References: <20080925231610.GG11114@hs20-bc2-1.build.redhat.com>
2008/9/25 Jakub Jelinek <jakub@redhat.com>:
> - http://gcc.gnu.org/ml/gcc-patches/2008-09/msg01387.html
> fix gcc -v --help, PR middle-end/37576
OK.
Diego.