3 results (13ms)
2020-02-26 §
20:11 <wm-bot> <root> Reverted to legacy Kubernetes cluster [tools.toolserver]
17:18 <wm-bot> <root> Migrated to 2020 Kubernetes cluster [tools.toolserver]
2018-09-16 §
05:27 <legoktm> switch to PHP 7.2 webservice [tools.toolserver]