Merge remote-tracking branch 'origin/master'

4 jobs from master in 3 minutes 57 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #3208
build_cmake

00:43

 
  Test
passed #3209
run_tests

00:45

 
  Sanitizer
passed #3211
run_address_sanitizer

01:30

passed #3210
run_thread_sanitizer

00:58