Thanks! Merged in r243433.
On Tue, Jul 28, 2015 at 9:06 AM, Richard Smith <[email protected]> wrote: > I think so too, approved for branch. > > On Jul 27, 2015 4:51 PM, "Davide Italiano" <[email protected]> wrote: >> >> On Mon, Jul 27, 2015 at 4:48 PM, Hans Wennborg <[email protected]> wrote: >> > Should this be merged to 3.7? >> > >> >> I think so. Thanks. _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
