Re: [wwwdocs, PATCH v2] C++ terminology: the One Definition Rule in diagnostics

[Gerald Pfeifer]

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