Merge branch 'master' into konstant-names #394

Job	Run time
On ubuntu-latest (DBG=ON, VM=MEMFD)	4m 7s
On ubuntu-latest (DBG=OFF, VM=SHM)	3m 5s
On ubuntu-latest (DBG=OFF, VM=ANONYMOUS)	3m 50s
On ubuntu-latest (DBG=ON, VM=ANONYMOUS)	4m 26s
On ubuntu-latest (DBG=ON, VM=SHM)	5m 0s
On ubuntu-latest (DBG=OFF, VM=MEMFD)	5m 32s
	26m 0s

Navigation Menu