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