diff --git a/71/dede387e089023292e66c7f39305e13400c8c0 b/71/dede387e089023292e66c7f39305e13400c8c0
new file mode 100644
index 0000000000..7696da0674
--- /dev/null
+++ b/71/dede387e089023292e66c7f39305e13400c8c0
@@ -0,0 +1 @@
+Merged: https://github.com/ruby/ruby/pull/6578