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