+ Merge processed options so others can mess with defaults. (tenderlove)
[git-p4: depot-paths = "//src/minitest/dev/": change = 8104]