Merge branch 'develop' into 'master'

[release] Regular merge of develop

See merge request !234
3 jobs for v3.1.2 in 58 seconds (queued for 1 second)
latest
Status Name Job ID Coverage
  Prepare
passed prepare:index #227227

00:00:11

 
  Build
passed build:pages #227228

00:00:33

 
  Generate
passed generate:searchIndex #227229

00:00:12