mirror of
https://github.com/mruby/mruby
synced 2026-06-08 16:11:16 +00:00
8284234229
The branch name of the cloned repository should be determined by the build configuration file. fixes #6087