Nicolas VIGNERON, 14/01/2016 12:22:
Am I missing something?
http://tools.wmflabs.org/bub/
(listed on
http://tools.wmflabs.org/ ) is still down, is it normal?
It's not "still" down but newly down. :) I saw a maintainer took it down
yesterday for some reason, probably will be restarted today.
Nemo