2018-08-24 - production
09:09	<marostegui>	Restart MySQL on db2035 (codfw s2 master) for mysql upgrade and pick up new mysql options after merging https://gerrit.wikimedia.org/r/455103	[production]