On Fri, Jul 27, 2012 at 1:44 PM, Marek Polacek <pola...@redhat.com> wrote: > On Wed, Jul 25, 2012 at 01:43:59PM +0200, Richard Guenther wrote: >> On Tue, Jul 24, 2012 at 9:27 PM, Marek Polacek <pola...@redhat.com> wrote: >> > Ping. >> >> Ok. > > Sorry, can't commit myself. Thanks,
Committed. Richard. > Marek
