[00:09:00] hey all, I have a quick question about where to report something. [00:09:25] http://tools.wmflabs.org/enwp10/ is down; so a) is that already a known issue; b) would it go in bugzilla if not? I didn't see anything there. [00:09:51] (It's been down for a while, so I'm assuming I'm not the first to notice!) [00:09:58] brassratgirl: bugzilla is good, please report it there [00:10:19] if it was duplicate Bugzilla should even tell you it found a possible duplicate [00:10:25] at least it tries [00:10:59] thanks mutante. I'd file it in wikimedia labs, right? [00:12:22] nevermind, I just found the 'tool labs' queue [00:13:02] brassratgirl: yep, perfect [00:18:52] txh [00:18:56] thx, even :) [00:22:13] brassratgirl: in #wikimedia-labs the bot now talked about your new ticket :) [00:22:16] 17:16 < wikibugs> Tool Labs tools / [other]: enwp10 tool is down - ... etc [00:22:25] just fyi [00:22:36] :) [06:38:42] Is ElasticSearch well? [08:17:17] [[Tech]]; ArchiverBot; Bot: Archiving 1 thread (older than 30d) to [[Tech/Archives/2014]].; https://meta.wikimedia.org/w/index.php?diff=8864520&oldid=8859420&rcid=5342532