On Mon, Apr 13, 2026 at 08:53:02AM +0200, Jean-Marc Lasgouttes wrote: > I totally agree.
Agreed as well. I also wonder whether we should keep .gz archives, this is not 2010 when I made the transition bz2->xz; xz is widespread everywhere now. Pavel -- lyx-devel mailing list [email protected] https://lists.lyx.org/mailman/listinfo/lyx-devel
