Update beat/bob-devel to 2019.08.26
This merge request updates both the beat-devel and bob-devel versions.
Fixes #534 (closed)
This merge request updates both the beat-devel and bob-devel versions.
Fixes #534 (closed)
added maintenance label
mentioned in commit 0b7d964a
merged