Re: [PATCH] Re: New warning (or at least I only noticed it now)

[Pavel Sanda]

On Thu, Nov 09, 2023 at 06:21:03PM +0100, Jean-Marc Lasgouttes wrote:
> Thoughts?

Looks reasonable. Pavel
-- 
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel