Re: lyxerr categories

[Pavel Sanda]

On Tue, Jul 11, 2023 at 06:29:19PM +0200, Jean-Marc Lasgouttes wrote:
> Your plan looks fine. Please go ahead.

Committed. P
-- 
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel