See home page for extended comments on differences between 3.0.17 and 3.0.16. This release passes all the internal verification tests, but has not yet been validated against all of the compilers we support. It does address the issues reported by John Regehr as of today. Once it has been verified against all of the compilers, and has been verified not to emit more warnings, we'll move it to stable.
Very minor update from last night - added LL and ULL 3 places to remove a few warnings.
12/18/12 - Updated to normalize whitespace. No functional changes.