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