2020-02-03 - etytree
09:57	<arturo>	installed virtuoso-opensource-7 on the etytree-a server by hand (see T244111)	[etytree]