Closed gsmet closed 7 years ago
The version of HV is only used in the doc so we can update it beforehand (thus breaking the circular dependency).
Jenkins, retest this please
Rebased and applied. Thanks, @gsmet!
The version of HV is only used in the doc so we can update it beforehand (thus breaking the circular dependency).