Juergen Spitzmueller 2479534e57 Amend [d30da478d/lyxgit]
Some non-stable code was erroneously cherry-picked.

Fixes: #11642
2019-08-22 17:35:56 +02:00
..
2019-08-09 08:06:23 +02:00
2018-12-28 23:35:07 -05:00
2019-06-25 21:21:47 +02:00
2019-08-22 17:35:56 +02:00
2019-06-27 23:53:03 +02:00
2019-07-25 00:05:39 -04:00
2019-08-15 09:20:40 +02:00
2018-08-28 15:22:50 -04:00