2019-11-06 - releng
09:02	<hashar>	Jenkins: upgrade Monitoring plugin (javamelody) to 1.80.0 + misc updates	[releng]