Skip to content
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.

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

3.17.1 release tracking #11215

Closed
11 tasks done
maiste opened this issue Dec 16, 2024 · 4 comments
Closed
11 tasks done

3.17.1 release tracking #11215

maiste opened this issue Dec 16, 2024 · 4 comments
Assignees
Labels
release PR or issue for releasing a new dune version

Comments

@maiste maiste added the release PR or issue for releasing a new dune version label Dec 16, 2024
@maiste maiste self-assigned this Dec 16, 2024
@nojb
Copy link
Collaborator

nojb commented Dec 16, 2024

Also #11194 must be backported.

@maiste
Copy link
Collaborator Author

maiste commented Dec 16, 2024

@nojb, can I let you take care of the backport for this PR too? I'll backport the regression fix on my side.

@nojb
Copy link
Collaborator

nojb commented Dec 16, 2024

@nojb, can I let you take care of the backport for this PR too? I'll backport the regression fix on my side.

Sure. Done in #11218.

@maiste
Copy link
Collaborator Author

maiste commented Dec 17, 2024

@anmonteiro what should I do to add it to the nix-overlays to test this new version?

@maiste maiste closed this as completed Dec 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release PR or issue for releasing a new dune version
Projects
None yet
Development

No branches or pull requests

2 participants