Skip to content

Update beat/bob-devel to 2019.08.28

Samuel GAIST requested to merge 534_update_beat_devel into master

This merge request updates both the beat-devel and bob-devel versions.

Fixes #534 (closed)

Merge request reports