diff --git a/07/724d7b6f96f3758c64d7cede3c72b5b317e41e b/07/724d7b6f96f3758c64d7cede3c72b5b317e41e
new file mode 100644
index 0000000000..0cefbab426
--- /dev/null
+++ b/07/724d7b6f96f3758c64d7cede3c72b5b317e41e
@@ -0,0 +1 @@
+Merged: https://github.com/ruby/ruby/pull/12411