On Fri, Sep 13, 2024 at 10:44:55AM +0200, Pavel Sanda wrote: > On Thu, Sep 12, 2024 at 11:32:55AM +0200, Daniel wrote: > > Are there any alternatives in the pipe? > > Not really, but I can improve the description to be more straightforward.
Just did that. JMarc, am I right that messages from unsubscribed users make it to the dev list as well? Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
