Maintenance

eduroam Wi-Fi service update Tuesday 5 July

due to finish in about 2 months