Revert "Merge branch 'fix-bob-extension' into 'master'"

This reverts merge request !57
4 jobs for revert-16f2b838 in 5 minutes and 13 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Build
passed #165178
docker
build_linux_36

00:04:54

passed #165179
docker
build_linux_37

00:05:13

passed #165180
macosx
build_macosx_36

00:04:09

passed #165181
macosx
build_macosx_37

00:04:01