2018-07-26 - production
20:06	<thcipriani>	restart gerrit for notedb config update	[production]