diff --git a/8b/4017584b1478c0d3cfe0dbd88c01539db1e071 b/8b/4017584b1478c0d3cfe0dbd88c01539db1e071
new file mode 100644
index 0000000000..5035c8e577
--- /dev/null
+++ b/8b/4017584b1478c0d3cfe0dbd88c01539db1e071
@@ -0,0 +1 @@
+Merged: https://github.com/ruby/ruby/pull/13212