[12:41:16] <github-bm>	 [13LocalSettings] 15lewiscawte closed pull request #12: Disable $wgShowIPinHeader (06master...06showip-disable) 02http://git.io/vtlZU