The bundle available at the time included the fix. This post on June 26 says it's based on Firefox 17.0.7esr.
https://blog.torproject.org/blog/new-tor-browser-bundles-and...
The number of affected users must be due to not upgrading. Does the tor bundle automatically update?