diff --git a/ff/67aac193eed4e5ea0a6801d0903ddc35f21be0 b/ff/67aac193eed4e5ea0a6801d0903ddc35f21be0
new file mode 100644
index 0000000000..af2dacc332
--- /dev/null
+++ b/ff/67aac193eed4e5ea0a6801d0903ddc35f21be0
@@ -0,0 +1 @@
+Merged: https://github.com/ruby/ruby/pull/3712