Actually, I'm not sure my most recent patch is necessary. Please review this instead, which is the first one again. > ---------------------------------------- > From: Brian Leung > Sent: Sat Oct 10 00:35:58 CEST 2020 > To: <43892@debbugs.gnu.org> > Subject: [PATCH] Native comp: fix compilation warnings > > > I found another warning, so please look at this patch instead, which supersedes the other one I sent. > > --  > Sent with https://mailfence.com > Secure and private email --  Sent with https://mailfence.com Secure and private email