Re: [gnu.org #1534539] Re: Licensing issues for gendocs_template_min

[Bruno Haible]

> Whoops, I meant to amend the commit, not create a new one. Here's the
> full patch:

Thanks. Pushed.

Bruno