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