Auto merge of #721 - fitzgen:bump-to-0.25.2, r=emilio

Bump to version 0.25.2

Need to publish a new version so I can rely on the MacOS mangling fix for my smup branch.

r? @emilio