On Tue, 30 Oct 2018 at 12:00, Bruno Haible <br...@clisp.org> wrote: > Reuben Thomas wrote: > > Thanks for the change, which sounds good to me unless there's some other > > GPL-licensed version of make (so it might mention "GNU General Public > > License" in the output); it might be better explicitly to check the first > > line of the output? > > Indeed. Also, better minimize the risk brought in by translations. So, > here's what I'm pushing:
[snip] Thanks very much for this! -- https://rrt.sc3d.org
