2020-02-13 - production
07:53	<moritzm>	rolling restart of restbase-dev to pick up Java security update	[production]