Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
install_extra_index_url_has_priority without exclude newer
Manual synthesis of #2337 and #2339, i think one accidentally reverted the other? No rush in merging, CI is green.
- Loading branch information