diff --git a/ef/9301a6b747035a113f3c9dfb805214e9285026 b/ef/9301a6b747035a113f3c9dfb805214e9285026
new file mode 100644
index 0000000000..8afa3eecf8
--- /dev/null
+++ b/ef/9301a6b747035a113f3c9dfb805214e9285026
@@ -0,0 +1 @@
+Merged: https://github.com/ruby/ruby/pull/13531