On Mon, Mar 06, 2023 at 01:43:10PM +0100, Jean-Marc Lasgouttes wrote: > Seeing this gcc bug report, I think we just have to wait and see what > happens. > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107532
One possible fix just got into upstream gcc. So we'll see what will Jose report after next release of gcc. If that still persits we should perhaps report it and see whether they consider it grievous enough... Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
