On Sun, Jan 22, 2023 at 08:04:09PM +0100, Dr. Tobias Quathamer wrote: > Sorry that I cannot provide any more useful ideas to narrow down this bug.
We discovered meantime with Stefano the offending commit in 2.3.7 and opened the issue on lyx devel list. Pavel
