Thread:Project:Support desk/extdist.wmflabs.org down

--2015-02-17 20:11:30-- https://extdist.wmflabs.org/dist/extensions/RSS-REL1_24-e9f786a.tar.gz Resolving extdist.wmflabs.org (extdist.wmflabs.org)... 208.80.155.156 Connecting to extdist.wmflabs.org (extdist.wmflabs.org)|208.80.155.156|:443... failed: Connection timed out. Been like this for a few hours at least