On Mon, 14 Aug 2017, Martin Sebor wrote: > Okay. I expanded on that point in the updated comments below. > > Martin > > 2017-08-14 Martin Sebor <[email protected]> > > * builtin-attrs.def: Add comments.
This version is OK. -- Joseph S. Myers [email protected]
