Merge branch 'magboltz-11-13' into 'master'

Magboltz 11.13

See merge request !250
5 jobs for master in 6 minutes and 11 seconds (queued for 6 seconds)
Status Name Job ID Coverage
  Build
passed build-centos7 #17117257

00:04:00

passed build-centos7-view97 #17117258

00:06:11

passed build-fedora32 #17117260

00:03:52

passed build-fedora33 #17117261

00:03:03

passed build-ubuntu #17117259

00:04:14