On Fri, Jan 24, 2025 at 02:18:30PM +0100, Jean-Marc Lasgouttes wrote: > Would it be possible to use "make -s" to make the reports less wordy, and > maybe to change the message title ? [ci announce] is weird.
No problem, what is your favorite title? Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org https://lists.lyx.org/mailman/listinfo/lyx-devel
