Am Dienstag, dem 10.09.2024 um 15:21 +0200 schrieb Jean-Marc Lasgouttes: > I agree with that. However, I have not found the toggle that tells > Coverity to skip this proposal. This is most of our reports. In any case, I will revert the respective commit. -- Jürgen