[17:35:27] <ragesoss>	 Are there DNS problems happening? I have reports of someone not being able to load the wikimania wiki or wikimedia cloud tools, except over mobile data (but the rest of the web works fine for this user) 
[18:30:31] <Platonides>	 ragesoss: you should try to get the user to see what is being resolved to them
[18:30:34] <Platonides>	 or even an mtr
[19:11:59] <bd808>	 ragesoss: https://wikitech.wikimedia.org/wiki/Reporting_a_connectivity_issue can be helpful in figuring out connectivity issues.
[23:12:10] <ragesoss>	 thanks. I checked back and whatever it was resolved itself.