Merge pull request #6363 from dearblue/mrb_type
authorYukihiro "Matz" Matsumoto <[email protected]>
Mon, 23 Sep 2024 05:49:55 +0000 (23 14:49 +0900)
committerGitHub <[email protected]>
Mon, 23 Sep 2024 05:49:55 +0000 (23 14:49 +0900)

Trivial merge