4 results (21ms)
2020-02-28 §
17:54 <wm-bot> <root> Migrated to 2020 Kubernetes cluster [tools.tools-info]
2020-02-26 §
20:11 <wm-bot> <root> Reverted to legacy Kubernetes cluster [tools.tools-info]
17:18 <wm-bot> <root> Migrated to 2020 Kubernetes cluster [tools.tools-info]
2017-10-15 §
23:23 <bd808> Updated some of the links in the navigation menu [tools.tools-info]