On Mon, Apr 23, 2012 at 3:51 PM, Diego Novillo <dnovi...@google.com> wrote: > > Great, thanks. Patch is OK with the ChangeLog entries filled-in. Not sure > if you'd rather wait for the trunk commit to go in, though. It may be better > to put this version in google/integration and deal with the merge later.
Thanks, Diego. If the trunk change isn't approved today, I'll probably go ahead and check in *that* patch to google/integration. The main difference relative to this is that the option name has been changed to -Wliteral-suffix. *That* part has been approved, so hopefully any additional adjustments will be minor. Ollie
