Merge branch 'stable-3.1'

1 job for master in 2 minutes and 49 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Syntax
passed #491
syntax:lint

00:02:49