On Tue, 2016-03-15 at 10:50 +0000, John Marshall wrote: > Reposting as it would be nice to have this trivial documentation fix > in the upcoming release.
Fixed for the next release (not pushed yet but in my repo), thanks. _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
