On Wednesday, 4 May 2022 12.48.10 WEST Pavel Sanda wrote: > > > > ping :) > > ping :) > > > p
Riki is not the only person busy. :-D After the next week things will calm down a bit and I will look into that. -- José Abílio
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel