On Mon, 2017-07-24 at 14:03 +0800, Cao jin wrote: > Could I know why it got ignored?
Not ignored... queued! These changes will be in the next release. Thanks for the help! _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make