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