Thanks. I would have done it otherwise. A good time to recall that "premature optimization is the root of all evil."
JMarc Le 14 septembre 2024 11:01:03 GMT+02:00, "Jürgen Spitzmüller" <jspi...@gmail.com> a écrit : >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
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
