On 07/31/2018 02:58 PM, Martin Sebor wrote: > I can't approve patches but this one seems to be in > the obvious category so I think it could be checked in > without formal approval. > > It is however missing a couple of things: 1) a test case, > and 2) a reference to the bug it fixes in the ChangeLog > and in the test. > > With that, if no one objects, I will commit the path for > you.
I think the patch is fine. Go forward with it whenever it's convenient for you. jeff