Skip to content

Vivian: Fixes for my setup and keep mars_db across runs

Martin Roukala requested to merge vivian_fixes into master

@chturne: Did I say there would be 2 commits coming your way? More like 4!

Merge request reports