Merge branch 'master' into dev_info

3 jobs from master in 51 minutes 6 seconds (queued for 14 minutes 8 seconds)
Status Job ID Name Coverage
  Install
passed #100753
allowed to fail manual
install

27:15

 
  Package
passed #100754
allowed to fail manual
package

22:56

 
  Push
passed #100755
allowed to fail manual
push

00:54