diff --git a/07/f45065a7546872192f92fa3b28d0c1bfeb6941 b/07/f45065a7546872192f92fa3b28d0c1bfeb6941 new file mode 100644 index 0000000000..2dadd90328 --- /dev/null +++ b/07/f45065a7546872192f92fa3b28d0c1bfeb6941 @@ -0,0 +1 @@ +Merged: https://github.com/ruby/ruby/pull/12015