Am 16.10.2020 um 10:05 schrieb Jean-Marc Lasgouttes <lasgout...@lyx.org>: > > Le 11/10/2020 à 21:06, Stephan Witt a écrit : >> Am 11.10.2020 um 20:55 schrieb Stephan Witt <st.w...@gmx.net>: >> Oh, that was the wrong patch. The correct one is attached now. > > Does what I pushed to master work well?
Yes, it works. Thank you. Stephan -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel