New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Clean version pinned build directory #4436

Merged

rjbou merged 2 commits into ocaml:master from rjbou:clean-vpin-build

Dec 3, 2020

Collaborator

rjbou commented Nov 18, 2020

rjbou added 2 commits

November 18, 2020 17:37


          pin cleaning: clean version pinned build dir

c7c13d2


          update changes

e09ab5e

rjbou added this to the 2.1.0~beta4 milestone

rjbou merged commit 4461ed2 into ocaml:master

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet