Hi,

Le Fri, 21 Mar 2014 17:56:33 +0100,
"Enrique Perez-Terron" <[email protected]> a écrit :

> Perusing the source code, I stumbled upon this:

You are completely right. This has been fixed in rev 8200.

François

-- 
François Poulain <[email protected]>

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

Reply via email to