On 09/18/2018 01:25 PM, Jürgen Spitzmüller wrote: > Am Sonntag, den 16.09.2018, 11:08 +0200 schrieb Juergen Spitzmueller: >> commit 305d449a47bf54d4f8ec594b0d1a2b5cf070c30b >> Author: Juergen Spitzmueller <sp...@lyx.org> >> Date: Sun Sep 16 10:34:01 2018 +0200 >> >> Fix copy-paste error. >> >> Candidate for stable. > Riki?
OK. Riki