> From: Paul Smith <psm...@gnu.org> > Cc: bug-make@gnu.org > Date: Sat, 24 Sep 2022 13:10:00 -0400 > > > Here are the proposed patches for the above 2 warnings. Paul, if you > > agree with them, I will install them in the repository. > > These changes look good to me, thanks!
Thanks, installed.
