Also, a note for TeXmacs developers: we should not prefer clang over gcc as default compiler (at least on Linux, gcc should be default), the one built by clang crashed twice in 5 minutes while the one built by gcc is stable as before.
_______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
