bump version to 0.72

1 job for update-0.72 in 33 seconds (queued for 2 seconds)