> Date: Wed, 28 Aug 2019 16:25:22 +0300 > From: Eli Zaretskii <e...@gnu.org> > Cc: bug-make@gnu.org > > > The rest of the changes look fine to me. > > OK, will push them soon.
Done. _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
