[Texmacs-dev] testing needed

[TeXmacs]

Dear all,

Could someone try my fix for

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

Best wishes, --Joris

_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev