Hi,

Le Fri, 21 Mar 2014 17:56:33 +0100,
"Enrique Perez-Terron" <en...@online.no> 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 <fpoul...@metrodore.fr>

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

Reply via email to