Subject: Re: bug#73098: setopt float warning unexpected

From: Michael Heerdegen <[email-masked]>
Date: Mon, 09 Sep 2024 19:46:56 +0200

Eli Zaretskii <[email-masked]> writes:

> Thanks, but this sounds like overkill to me.

Hmm... maybe.  And the idea of an extra macro?

Michael.