diff --git a/0a/9efe8701c43f80ad8b23d89d6b34d13d9d9ade b/0a/9efe8701c43f80ad8b23d89d6b34d13d9d9ade new file mode 100644 index 0000000000..f7417ecd33 --- /dev/null +++ b/0a/9efe8701c43f80ad8b23d89d6b34d13d9d9ade @@ -0,0 +1 @@ +Merged: https://github.com/ruby/ruby/pull/7347