Hi all, Some of the machines that we have been using for building new versions and updating the website have been down for several weeks without us being able to turn them back on. The problem has been fixed last week, so we will be able to resume our activities. This also explains why I have been silent since a month or so.
Best wishes, --Joris _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
