Commit d0da7ee8 authored by Paul Eggert's avatar Paul Eggert

* GNUmakefile: Update comment.

parent d07863fd
Pipeline #1315 failed with stage
in 49 minutes and 55 seconds