Bumps mu #348

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

Merged

fedefernandez merged 1 commit into main from bump-mu-scala

Jan 18, 2023

Contributor

fedefernandez commented Jan 18, 2023 •

edited

Loading

In preparation of the release


          Bumps mu

c70aecc

fedefernandez requested a review from juanpedromoreno

January 18, 2023 14:07

juanpedromoreno approved these changes

View reviewed changes

fedefernandez merged commit 2d67d68 into main

fedefernandez deleted the bump-mu-scala branch

January 18, 2023 14:11

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

Labels

None yet