New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Admin: add package selection to `add_hashes` #3787

Merged

rjbou merged 2 commits into ocaml:master from rjbou:adm-hash-pkg

Mar 20, 2019

Collaborator

rjbou commented Mar 18, 2019

Closes #3767.


          package: add packages of name for maps

1373a9b

rjbou force-pushed the adm-hash-pkg branch 2 times, most recently from b863749 to 3cfbfe7 Compare

March 19, 2019 10:32


          admin: add option to add_hashes to select packages

30b4dea

rjbou force-pushed the adm-hash-pkg branch from c8abaeb to 30b4dea Compare

March 19, 2019 17:57

rjbou merged commit e6b5c2e into ocaml:master

rjbou added this to the 2.1.0 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet