Merge branch 'master' into 'master'

Master

See merge request !895
1 job for master in 2 minutes and 26 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Syntax
passed #1369
syntax:lint

00:02:26