diff --git a/1a/80d7bcdaa9a57f0feaf0a14ced8c9fb442d25d b/1a/80d7bcdaa9a57f0feaf0a14ced8c9fb442d25d new file mode 100644 index 0000000000..f42256d48b --- /dev/null +++ b/1a/80d7bcdaa9a57f0feaf0a14ced8c9fb442d25d @@ -0,0 +1 @@ +Merged: https://github.com/ruby/ruby/pull/2711