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