Skip to content

Conversation

@pkuczynski
Copy link
Member

@pkuczynski pkuczynski commented Jun 5, 2020

Fixes #4948

@pkuczynski pkuczynski self-assigned this Jun 5, 2020
@pkuczynski pkuczynski added this to the rvm-1.29.11 milestone Jun 5, 2020
@pkuczynski pkuczynski merged commit b7f9241 into master Jun 5, 2020
@delete-merged-branch delete-merged-branch bot deleted the mruby-2.1.1 branch June 5, 2020 10:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants