On Wed, May 13, 2026 at 08:28:02PM +0200, Jean-Marc Lasgouttes via lyx-devel wrote: > I would suggest summoning your friend in the cases where we are blocked. Noted ;) Pavel