2023-03-28 - clouddb-services
20:19	<andrewbogott>	deleted old osmdb servers clouddb1003 and clouddb1004. Both have been shut down for some time.	[clouddb-services]