diff --git a/72/f1c43584df714a011864ca9fafc6e15ace392c b/72/f1c43584df714a011864ca9fafc6e15ace392c
new file mode 100644
index 0000000000..0d6fcd3618
--- /dev/null
+++ b/72/f1c43584df714a011864ca9fafc6e15ace392c
@@ -0,0 +1 @@
+Merged: https://github.com/ruby/ruby/pull/3878