Drip

It started dripping a couple of weeks ago. 
After three or four people reporting it and the drips becoming a lot more dribble like the maintenance team finally came out and fixed it.

By turning the heating off!

Let's see how long it takes to get someone out to replace the corroded pipe so it can be turned on again.