From: Juergen Spitzmueller <spitz@lyx.org>
Date: Sun, 18 Mar 2018 09:00:21 +0000 (+0100)
Subject: Merge branch '2.3.x' of git.lyx.org:lyx into 2.3.x
X-Git-Tag: 2.3.1~156
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=43e5594dfd18e9037b2358f2c6e2cad5cbec1c0a;p=features.git

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

43e5594dfd18e9037b2358f2c6e2cad5cbec1c0a