Hello all,
cassini was non-responsive to ssh today (it made also problems in the days before) and so I (hard-)rebooted it today and made some updates. Details under
https://jira.toolserver.org/browse/MNT-387
Sincerly, DaB.
toolserver-announce@lists.wikimedia.org