finalize release

2 jobs for master in 14 minutes and 28 seconds (queued for 3 seconds)