On Thu, Sep 1, 2016 at 11:49 AM, Paul Eggert <egg...@cs.ucla.edu> 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.
