Skip to content

pin: upgrade pin depends on pinning - #3684

Merged
rjbou merged 1 commit into
ocaml:masterfrom
rjbou:pin-depends
Dec 5, 2018
Merged

rjbou merged 1 commit into
ocaml:masterfrom
rjbou:pin-depends

Conversation

@rjbou

@rjbou rjbou commented Nov 28, 2018

Copy link
Copy Markdown
Collaborator

fixes #3508

@avsm

avsm commented Nov 28, 2018

Copy link
Copy Markdown
Member

this seems like a candidate for #3669 since it results in failed upgrades?

@rjbou

rjbou commented Nov 29, 2018

Copy link
Copy Markdown
Collaborator Author

Completely agree!

@rjbou
rjbou merged commit 6923636 into ocaml:master Dec 5, 2018
rjbou added a commit to rjbou/opam that referenced this pull request Dec 6, 2018
@rjbou rjbou added this to the 2.0.2 milestone Jan 28, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

pin-depends should reinstall packages which are pinned

2 participants