Thanks, tested it just now and doesn't make much difference. el
On 2024-03-24 00:25, Pavel Sanda wrote: [...] > Yes, also looking at your domain, you might get way better speed > from our .za mirror. [...] -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel