On Mon, Apr 28, 2014 at 2:44 PM, Patrick Palka <[email protected]> wrote: > On Mon, Apr 28, 2014 at 4:57 AM, Richard Biener > <[email protected]> wrote: >> On Fri, Apr 25, 2014 at 5:03 PM, Patrick Palka <[email protected]> wrote: >>> I forgot the ChangeLog entry: >> >> Ok. >> >> Thanks, >> Richard. > > Thanks for reviewing. May someone please commit this for me? Thanks > in advance.
Done.
