2019-10-09 - tools
12:35 <arturo> uncordon tools-worker-1029 (was disabled for unknown reasons)