]> git.lyx.org Git - features.git/commitdiff
Merge branch '2.3.x' of git.lyx.org:lyx into 2.3.x
authorJosé Matos <jamatos@lyx.org>
Sat, 28 Apr 2018 10:26:16 +0000 (11:26 +0100)
committerJosé Matos <jamatos@lyx.org>
Sat, 28 Apr 2018 10:26:16 +0000 (11:26 +0100)

Trivial merge