Hi!
On Wed, Jan 11, 2023 at 12:41:06PM +0100, Thomas Schwinge wrote:
I think this should be reviewed by Joseph as option handling maintainer.
> @@ -8896,6 +8897,13 @@ programs.
> Warn for variables that might be changed by @code{longjmp} or
> @code{vfork}. This warning is also enabled by @opt
Hi!
Ping.
Grüße
Thomas
On 2022-12-16T15:10:12+0100, I wrote:
> Hi!
>
> On 2022-12-15T16:17:05+0100, Jakub Jelinek wrote:
>> On Thu, Dec 15, 2022 at 04:01:33PM +0100, Thomas Schwinge wrote:
>>> Or, options are applicable to just one front end, and can just be a no-op
>>> for others, for share