Merge branch 'stable-3.1' into 'stable-3.1'

Stable 3.1

See merge request !950
1 job for stable-3.1 in 6 minutes and 26 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Syntax
passed #3331
syntax:lint

00:06:26