(Also, this isn't counting people who contribute to the mobile projects on GitHub, and really the final monthly report stat ought to. I don't quickly see a way to ask "how many unique contributors submitted unique pull requests to a https://github.com/wikimedia/ repo in June?" on GitHub, though, so I'll put that off till next month.)
It also doesn't count people who are making operations changes, or Wikimedia site configuration changes, or are packaging debs, etc, etc. It would be awesome to see stats for those as well. I have a feeling that we have more contributors then the record ;).
- Ryan