mirror of
https://github.com/mruby/mruby
synced 2026-06-08 16:11:16 +00:00
04a4e59c83
This is a missing change in #5272. This issue was reported by @shuujii. https://github.com/mruby/mruby/pull/5272#issuecomment-761819737