Merge branch 'ebassi/for-master' into 'master'

Ebassi/for master

See merge request !251
6 jobs for master in 1 minute and 42 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #918993
linux-fedora

00:00:48

passed #918994
win32-ps
msys2-mingw64

00:01:40

 
  Analysis
passed #918995
asan
asan-build

00:01:15

 
  Docs
passed #918996
reference

00:01:21

 
  Deploy
passed #918997
pages

00:00:19

passed pages:deploy

00:00:00