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 -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
