diff --git a/c3/5931b5d593d201c5efa8499af36872a9c62369 b/c3/5931b5d593d201c5efa8499af36872a9c62369
new file mode 100644
index 0000000000..658255fab1
--- /dev/null
+++ b/c3/5931b5d593d201c5efa8499af36872a9c62369
@@ -0,0 +1 @@
+Merged: https://github.com/ruby/ruby/pull/13131