> From: Paul Smith <psm...@gnu.org> > Cc: make-w32@gnu.org, tinycc-de...@nongnu.org > Date: Sat, 05 Nov 2022 10:18:55 -0400 > > On Thu, 2022-11-03 at 16:45 +0200, Eli Zaretskii wrote: > > > Of course it does. > > > > Thanks. Paul, should I install this? > > Yes please thanks!
Done.