Update revision to 3.7.2

(moved 3.7.2 release to this commit)
Update revision to 3.7.3git
Merge branch 'master' into next

Used merge strategy -s ours to skip release commits.