Update of patch #9884 (project texmacs):
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
Patch has already been applied (it seems).
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/patch/?9884>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
_______________________________________________
Texmacs-dev mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/texmacs-dev
