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

Update to latest blue version #36

Merged
merged 2 commits into from
Sep 27, 2023
Merged

Update to latest blue version #36

merged 2 commits into from
Sep 27, 2023

Conversation

MerlinEgalite
Copy link
Contributor

Fixes #35

@MerlinEgalite MerlinEgalite requested review from a team, Rubilmax, Jean-Grimal, QGarchery, peyha and MathisGD and removed request for a team September 25, 2023 09:08
Jean-Grimal
Jean-Grimal previously approved these changes Sep 25, 2023
Rubilmax
Rubilmax previously approved these changes Sep 25, 2023
Copy link
Contributor

@Rubilmax Rubilmax left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It seems there's no occurrence of borrowable in this repository

@MathisGD
Copy link
Contributor

Let's wait for the last few PRs of Blue no?

julien-devatom
julien-devatom previously approved these changes Sep 25, 2023
@MerlinEgalite MerlinEgalite marked this pull request as draft September 25, 2023 15:55
@MathisGD MathisGD merged commit a0b0ef6 into main Sep 27, 2023
2 checks passed
@MathisGD MathisGD deleted the chore/update-blue branch September 27, 2023 09:26
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.

Update to last blue version
5 participants