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

Resolution for issue 298 #356

Merged
merged 1 commit into from Dec 11, 2022
Merged

Resolution for issue 298 #356

merged 1 commit into from Dec 11, 2022

Conversation

vrurg
Copy link
Contributor

@vrurg vrurg commented Dec 10, 2022

This PR to be merged when rakudo/rakudo#5123 is merged and renaming to main is completed.

@vrurg vrurg added fallback If no other label fits rakudo Big changes to Rakudo labels Dec 10, 2022
@vrurg vrurg changed the title Resolution for #298 Resolution for issue 298 Dec 10, 2022
JJ
JJ approved these changes Dec 10, 2022
View reviewed changes
Copy link
Contributor

@JJ JJ left a comment

Choose a reason for hiding this comment

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

👍

@vrurg vrurg merged commit e1a76d0 into Raku:master Dec 11, 2022
@vrurg vrurg mentioned this pull request Dec 11, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@JJ JJ JJ approved these changes

@codesections codesections codesections approved these changes

Assignees
No one assigned
Labels
fallback If no other label fits rakudo Big changes to Rakudo
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@vrurg @JJ @codesections