On Mon, 9 Oct 2017, Paul Eggert wrote: > On 10/09/2017 07:51 AM, Joseph Myers wrote: > > Is something obstructing review / commit of this patch? > > Lack of time on my part, is all. Others are welcome to fix the patch along the > line of the comments received. I plan to get to it eventually, if nobody else > does.
As far as I can tell there *weren't* any comments on bug-standards that objected to or proposed changes or additions to any part of this patch. -- Joseph S. Myers [email protected]
