From: José Matos <jamatos@lyx.org>
Date: Sat, 28 Apr 2018 10:26:16 +0000 (+0100)
Subject: Merge branch '2.3.x' of git.lyx.org:lyx into 2.3.x
X-Git-Tag: 2.3.1~98
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=0a43aac52474e5b316df9b3679b771fa4c98839c;p=features.git

Merge branch '2.3.x' of git.lyx.org:lyx into 2.3.x
---

0a43aac52474e5b316df9b3679b771fa4c98839c