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 <msebor@redhat.com> > > * builtin-attrs.def: Add comments. This version is OK. -- Joseph S. Myers joseph@codesourcery.com