Page MenuHomeSoftware Heritage

Rename hypervisor3 to a museum name
Open, NormalPublic


During the team meeting on 2019-01-14, it was mentioned hypervisor3 does not follow the naming policy used by previous hypervisors, which are both named with museum names.

Event Timeline

ftigeot triaged this task as Normal priority.Jan 30 2019, 11:58 AM
ftigeot created this task.