Version bump to 3.7.2

Easy version bump.