testing needed

TeXmacs <[email protected]> Sun, 20 Jun 2021 16:02:38 +0200

Newsgroups	gmane.editors.texmacs.devel
Message-ID	<[email protected]>

Dear all,

Could someone try my fix for

    https://savannah.gnu.org/bugs/?60627

Best wishes, --Joris

_______________________________________________
Texmacs-dev mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/texmacs-dev