> From: Costas Argyris <costas.argy...@gmail.com> > Date: Mon, 20 Mar 2023 21:47:27 +0000 > Cc: bug-make@gnu.org, Paul Smith <psm...@gnu.org> > > Any thoughts for next steps then?
If the patch ready to be installed? If so, could you please post it again, rebased on the current Git master? And would you please consider working on changing build_w32.bat as well? Thanks.