Le 09/05/2023 à 14:23, Kornel Benko a écrit :
Yes, looks good, OTOH not needed. But better be on the safe side.
I agree that there is no real problem here. It justs improves our coverity score :)
JMarc -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
