diff --git a/bb/037f6d8639b7d36ef263ca24d4117d725e71ef b/bb/037f6d8639b7d36ef263ca24d4117d725e71ef new file mode 100644 index 0000000000..d3930ebb48 --- /dev/null +++ b/bb/037f6d8639b7d36ef263ca24d4117d725e71ef @@ -0,0 +1 @@ +Merged: https://github.com/ruby/ruby/pull/5720