On Thu, 6 Apr 2017, David Malcolm wrote:
> OK to commit?
If that's what the standard uses, yes, thanks. (We still may
want to add "C++" in there, unless you feel the context is always
clear enough anyway, which I could well see...)
Gerald
On Thu, 2017-04-06 at 10:44 -0600, Jeff Law wrote:
> On 03/24/2017 03:29 AM, Martin Liška wrote:
> > I would like to ping that. I'm not sure what's agreement after I
> > read
> > discussion in: https://gcc.gnu.org/ml/gcc/2017-03/msg00070.html
> >
> > Martin Sebor may know, CC'ing him.
> Not sure i
