Merge branch 'dev_info'

3 jobs from master in 55 minutes 46 seconds (queued for 4 minutes 5 seconds)
Status Job ID Name Coverage
  Install
passed #100906
allowed to fail manual
install

26:21

 
  Package
passed #100907
allowed to fail manual
package

28:29

 
  Push
passed #100908
allowed to fail manual
push

00:55