[isabelle-dev] Problems with server room cooling at TUM

[Makarius]

On 03/08/2024 14:17, Makarius wrote:
> TUM has problems with cooling of server rooms for a couple of days, although I 
> am not close enough to know the details. Several servers have been shutdown 
> down to reduce heat production.

I hear that there are plans to be back to normal on 14-Aug-2024, afternoon. 
Further note that 15-Aug-2024 is a local holiday.


	Makarius