On 4/22/24 10:44, Edwin van der Heide wrote:

It seems the deken server is not working at the moment.

yes sorry. yesterday we did some maintenance upgrade of the server running the deken backend, and it obviously didn't survive that. unfortunately i had been busy the whole day, so i missed your mail. and eventually forgot about it.

anyhow: all things should be back to normal again.

amdrs IOhannes