Merge 3.2 into 3.3.

The only file change is adding the v3.2.5 tag to 3.3's .hgtags file.