finalize release

5 jobs for master in 5 minutes and 32 seconds (queued for 6 seconds)