Am Mittwoch, dem 08.10.2025 um 20:32 +0200 schrieb Georg Baum: > This is the reason why I invest some time towards a better > development infrastructure with automatic builds for different > configurations:-) > These type of build errors can easily be detected automatically, > nobody needs to do all of the manually for each release.
Yes, this will help a lot. -- Jürgen -- lyx-devel mailing list [email protected] https://lists.lyx.org/mailman/listinfo/lyx-devel
