Skip to content

Make Barrier::new() const#119536

Merged
bors merged 1 commit intorust-lang:masterfrom
Jules-Bertholet:const-barrier
Feb 23, 2024
Merged

Make Barrier::new() const#119536
bors merged 1 commit intorust-lang:masterfrom
Jules-Bertholet:const-barrier

Conversation

@Jules-Bertholet
Copy link
Contributor

@Jules-Bertholet Jules-Bertholet commented Jan 3, 2024

I guess this was just missed in #97791?

@rustbot label T-libs-api -T-libs

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

Labels

disposition-merge This issue / PR is in PFCP or FCP with a disposition to merge it. finished-final-comment-period The final comment period is finished for this PR / Issue. merged-by-bors This PR was explicitly merged by bors. needs-fcp This change is insta-stable, or significant enough to need a team FCP to proceed. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-libs-api Relevant to the library API team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

9 participants