Commit 7222b71f authored by Frank Bossen's avatar Frank Bossen

Merge branch 'high_prec_compile_fix' into 'master'

fix compilation for VTM (BMS_TOOLS=0)

See merge request !122
parents f83207ba b0f893c8
Pipeline #137 passed with stage