diff --git a/db/4a8afa5e55591aa1e167ffde5924fc8f1f4807 b/db/4a8afa5e55591aa1e167ffde5924fc8f1f4807 new file mode 100644 index 0000000000..4bad75cd52 --- /dev/null +++ b/db/4a8afa5e55591aa1e167ffde5924fc8f1f4807 @@ -0,0 +1 @@ +Merged: https://github.com/ruby/ruby/pull/7448