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, Marek
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, Marek