Merge branch 'development/fix-vs2019' into 'dev'

Compilation fixes for VS 2019

See merge request !83
7 jobs for dev in 4 minutes and 29 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #73771
build-doc-images

00:01:06

 
  Test
passed #73775
distcheck-linux-clang-debug

00:02:49

passed #73773
distcheck-linux-clang-release

00:03:22

passed #73774
distcheck-linux-gcc-debug

00:03:04

passed #73772
distcheck-linux-gcc-release

00:02:37

passed #73776
pages

00:01:13

 
  Deploy
passed pages:deploy

00:00:01