[Texmacs-dev] problems with our servers

[TeXmacs]

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