IPv6 unavailable on pip, 06:58-08:21
Due to an erroneous Ubuntu update triggering a long-standing Linux kernel misfeature, the main SRCF shell/web server (pip) lost IPv6 connectivity at 06:58. This was repaired at 08:21.
IPv4 connectivity was unaffected so few people are likely to have noticed, but if it did affect you (e.g. long-standing IPv6 connections dropped, poor performance for applications which don’t support RFC 6555 (Happy Eyeballs), no reachability from IPv6-only hosts) then we apologise for the inconvenience.