This needs to be merged at the same time bob.bio.gmm > 3.0.2 gets released.
bob.bio.gmm > 3.0.2
ping @mguenther