]> git.lyx.org Git - features.git/commitdiff
Merge branch '2.3.x' of git.lyx.org:lyx into 2.3.x
authorJuergen Spitzmueller <spitz@lyx.org>
Sun, 18 Mar 2018 09:00:21 +0000 (10:00 +0100)
committerJuergen Spitzmueller <spitz@lyx.org>
Sun, 18 Mar 2018 09:00:21 +0000 (10:00 +0100)

Trivial merge