On Mon, Apr 11, 2011 at 15:31, Basile Starynkevitch <bas...@starynkevitch.net> wrote: > On Mon, 11 Apr 2011 15:27:15 -0400 > Diego Novillo <dnovi...@google.com> wrote: > >> On Mon, Apr 11, 2011 at 15:24, Basile Starynkevitch >> <bas...@starynkevitch.net> wrote: >> >> > 2011-04-11 Basile Starynkevitch <bas...@starynkevitch.net> >> > * Makefile.in (PLUGIN_HEADERS): Add gimple-pretty-print.h >> > tree-pretty-print.h & realmpfr.h. >> >> OK. > > Committed revision 172275. > > > Thanks. I would like to also commit that same patch to gcc-4.6 for the next > 4.6.1 release. Is that possible?
I'm fine with that, but I cannot approve. You need one of our RMs to approve that. Diego.