Avoid overlays and `message`s on stderr that is unrelated to exception handling#3608

Closed

vemv wants to merge 1 commit intomasterfrom 3587

+9-7

Commits on Jan 21, 2024

Avoid overlays and messages on stderr that is unrelated to exception handling
vemv
committed