On Sat, Jan 09, 2010 at 02:19:35PM +0100, Joris van der Hoeven wrote: > Thanks for reporting this bug which should have been fixed > now. --Joris
Yes, it has. Thanks for acting so quickly. Regards, Jeremy Henty _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
