Revert "Merge branch 'bob-devel-update' into 'master'"

This reverts merge request !227
2 jobs for revert-51677b07 in 14 minutes and 39 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #236714
docker
build_linux

00:11:06

2.0%
passed #236715
intel macos
build_macos_intel

00:14:39

2.0%