Am 26.01.2023 um 08:45 schrieb Marcin Błażejowski:
Hi,
the solution was simpler that I thought: the problem was that
print_NR_status() did verify 'set messages on/off' , but did not
checked for 'set warnings on/off'. The patch in attachment.
Marcin, I don't think this is the complete solution. It wasn't a bug
that 'set warnings' did not apply there, it was part of the spec. So now
we want to treat 'warnings' differently, OK, but that would mean to
change it in other places as well, I believe. I don't know exactly where
or in how many places, but most likely not just in a single one.
cheers
sven