dear list,

i'm currently out-of-office on a holiday break, and our central IT service department took the opportunity to firewall all our servers (obviously without communicating their intentions first (or after)), so among others puredata.info, the pd-list, and deken are no longer operational (starting with 12:00GMT 2024-07-24 (today))

i'm working on restoring all the services.

sorry for the invoncenience.

gmdsar IOhannes