move to 0.7.2

3 jobs for v0.7.2 in 3 minutes and 17 seconds (queued for 2 seconds)
latest