On Thu, Sep 1, 2016 at 11:49 AM, Paul Eggert <[email protected]> wrote: > Thanks for that set of patches too. I rebased it and tweaked NEWS and > installed the resulting patch set (attached) into Savannah master.
Nice. Thanks to both of you for all that work.
