Details
-
Task
-
Resolution: Fixed
-
Major - P3
-
None
-
None
-
None
-
Fully Compatible
Description
"evergreen merge" on mongo repo apparently won't merge anything other than a SERVER-###### ticket, so it won't merge PERF-3313 PR https://github.com/10gen/mongo/pull/9169.
This ticket is to make it happy.