version: push the 0.3.7 release.