Merge branch 'develop' into 'master'

Develop

See merge request !182
7 jobs for develop in 62 minutes and 15 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Dist
passed dist #646415

00:35:50

 
  Check
passed check #646416

00:08:45

passed deb #646418

00:16:43

passed generate #646419

00:19:20

passed mingw #646417

00:22:54

 
  Manual
passed pages #646420

00:03:30

 
  Deploy
passed pages:deploy

00:00:02