Skip to content

A workaround for RBS#138

Merged
nobu merged 2 commits intoruby:masterfrom
nobu:rbs-workaround
Jul 19, 2025
Merged

A workaround for RBS#138
nobu merged 2 commits intoruby:masterfrom
nobu:rbs-workaround

Commits

Commits on Jul 19, 2025