On Mon, May 8, 2017 at 7:39 PM, Paul Eggert <egg...@cs.ucla.edu> wrote: > Thanks for reporting that. I installed the attached, which I hope fixes the > problem.
Great, that looks much better than my monkeypatch & solves the problem. I.e. no GPLv3 header dependency anymore.
