reinstalling rooted package should not remove it from rooted packages. #759
Description
opam install bla
opam list --installed-roots bla
returns package bla
opam reinstall bla
opam list --installed-roots bla
returns nothing.
{{ message }}
opam install bla
opam list --installed-roots bla
returns package bla
opam reinstall bla
opam list --installed-roots bla
returns nothing.