Commit 6f444fed authored by Marcin's avatar Marcin
Browse files

Merge branch 'mi_abort_when_exception' into 'develop' 

compile on ubuntu 18.04

See merge request hive/haf!15
parents ec121ed4 bc9a2115