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