git.lyx.org Git - lyx.git/commit

author	Richard Kimberly Heck <rikiheck@lyx.org>
	Sun, 30 Dec 2018 19:02:34 +0000 (14:02 -0500)
committer	Richard Kimberly Heck <rikiheck@lyx.org>
	Sun, 30 Dec 2018 19:02:34 +0000 (14:02 -0500)
commit	4404f0bab2b7faf1a9d69e70e57e2e41c4def4d7
tree	2389df25b0870ba2648e9d12cd0164dff3aa49c6	tree \| snapshot
parent	a4fb675279e5bf7346f7cf40edc2b25c37d6ca7a	commit \| diff

Fix problem reported on the mailing list.

Somehow this got lost. Fix found by Jürgen.