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.

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

REF: fix change signature inside extern block #8501

Merged
merged 1 commit into from Feb 3, 2022
Merged

REF: fix change signature inside extern block #8501

merged 1 commit into from Feb 3, 2022

Conversation

vlad20012
Copy link
Member

@vlad20012 vlad20012 commented Feb 2, 2022 •
edited

No description provided.

@vlad20012 vlad20012 added the fix Pull requests that fix some bug(s) label Feb 2, 2022
@vlad20012 vlad20012 self-assigned this Feb 2, 2022
@Undin Undin added this to In Progress in To test via automation Feb 2, 2022
@vlad20012
Copy link
Member Author

bors r+

@bors
Copy link
Contributor

bors bot commented Feb 3, 2022

Build succeeded:

@bors bors bot merged commit 8476b8a into master Feb 3, 2022
To test automation moved this from In Progress to Test Feb 3, 2022
@bors bors bot deleted the fix-change-signature-inside-extern-block branch February 3, 2022 07:48
@github-actions github-actions bot added this to the v165 milestone Feb 3, 2022
@neonaot neonaot self-assigned this Feb 8, 2022
@neonaot neonaot moved this from Test to Done in To test Feb 8, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@vlad20012 vlad20012

@neonaot neonaot

Labels
fix Pull requests that fix some bug(s)
Projects
To test
  
Done
Milestone
v165
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@vlad20012 @neonaot