Allow to upgrade to a hidden-version package if a hidden-version package is already installed#4525

Merged

rjbou merged 1 commit intoocaml:masterfrom kit-ty-kate:fix-hidden-version

Mar 23, 2021

+14-3

Commits on Mar 23, 2021

Allow to upgrade to a hidden-version package if a hidden-version package is already installed

kit-ty-kate
authored and
rjbou
committed