Release 0.7.2

10 jobs for 0.7.2 in 40 minutes and 28 seconds (queued for 8 minutes and 8 seconds)
latest