Merge branch 'change-bin-name' into v3.4.0
Passed
michael.minelli
created pipeline for commit
6e74465a
, finished
For v3.4.0
5 minutes 53 seconds, queued for 1 seconds