[14:12:23] <Nemo_bis>	 Looks like Init7 had huge packet loss towards Wikimedia for some instants. Hopefully not coming back
[15:09:40] <snitch>	 [[Tech]]; 105.133.107.23; [none]; https://meta.wikimedia.org/w/index.php?diff=12385912&oldid=12350572&rcid=6517636
[15:10:05] <snitch>	 [[Tech]]; Tegel; Undo revision 12385912 by [[Special:Contributions/105.133.107.23|105.133.107.23]] ([[User talk:105.133.107.23|talk]]); https://meta.wikimedia.org/w/index.php?diff=12385914&oldid=12385912&rcid=6517638
[18:19:31] <ferdbold>	 I'm getting a "Can't connect to local MySQL server through socket '/dev/null' " on my vagrant instance, any idea how to fix this?
[18:24:50] <Nemo_bis>	 ferdbold: according to folks on #mediawiki-core and #wikimedia-releng (see for context), setting $wgDBserver = 127.0.0.1 may fix it
[18:25:14] <Nemo_bis>	 but a patch might already have been merged to do that for you, try upgrading mediawiki-vagrant perhaps?
[18:27:12] <legoktm>	 ferdbold: https://gerrit.wikimedia.org/r/#/c/216120/ should fix it
[18:29:31] <ferdbold>	 okay, upgrading right now, thanks for the help
[18:35:51] <ferdbold>	 alright everything works again, thanks Nemo_bis and legoktm