Looks like it got merged: https://github.com/mongodb/mongo/commit/efc9a4a324fa7046be9ec41431c3edf6f9be24ef