On 2/8/20 9:57 AM, Jürgen Spitzmüller wrote: > Am Freitag, den 07.02.2020, 10:21 +0100 schrieb Stephan Witt: >> I’ve commit and pushed the fix to master (59fa0b2592). > This should also go to stable.
He did that, and I've cherry picked it. Riki -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
