On Jul 14, 2019, at 01:49, Stephan Witt <st.w...@gmx.net> wrote: > >> Am 13.07.2019 um 21:13 schrieb Jean-Marc Lasgouttes <lasgout...@lyx.org>: >> >> 3/ The following files need to be updated: >> INSTALL.cmake (Kornel?), >> INSTALL.MacOSX (Stephan?), should it be renamed INSTALL.macOS? > > I had promised to review it. So, I’ll do it next weeks. > Yes, it should be renamed, this is the official name since 2016.
If you’d like a review of your review, please let me know. In addition, if you’re interested in any suggestions, please let me know. Thank you, Joel
