1. 2020-05-18 [LyX/master] Fix copy-paste error. lyx-cvs Richard Kimberly H 2. 2018-09-18 Re: [LyX/master] Fix copy-paste error. lyx-devel Richard Kimberly H 3. 2018-09-18 Re: [LyX/master] Fix copy-paste error. lyx-devel Jürgen_Spitzmüller 4. 2018-09-16 [LyX/master] Fix copy-paste error. lyx-cvs Juergen Spitzmuell