586: make re-installing a verified extension a no-op#621
Merged
background
wait
wait-all
cancel
Loading