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.
