2019-07-08 - releng
21:15	<thcipriani>	restart docker on contint1001 to pickup config change for https://gerrit.wikimedia.org/r/520738/	[releng]