Am Montag, dem 09.09.2024 um 17:55 +0200 schrieb Jean-Marc Lasgouttes: > The good thing is that we caught a few real bugs. It is not always > coverity being annoying.
No, it is actually really helpful. -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
