Hey Ramon,
I have a couple of more changes from our private 3.0 branch that I'd like to merge into public v3.0. Here's the branch with the commit: https://github.com/mongodb-partners/mongo/commits/v3.0-backport
This is probably one of the last changes on 3.0 branch as we moved all our development to 3.2 branch and mongo-rocks repo. We're keeping 3.0 stable.
Thanks!
Igor