[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Texmacs-dev] problems with our servers

From: TeXmacs
Subject: [Texmacs-dev] problems with our servers
Date: Tue, 19 May 2020 06:57:43 +0200
User-agent: Mutt/1.5.20 (2009-12-10)

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]