Paul Eggert Fri, 17 Jun 2016 03:17:45 -0700
David Seifert wrote:
any updates on merging the patch I sent in?
Sorry, not yet. Perhaps ping again in August....