This merge request updates both the beat-devel and bob-devel versions.
Fixes #534 (closed)
This will create a new commit in order to revert the existing changes.
