Merge branch 'remove-infer' into 'oshdb-snapshot'

Jenkins: remove infer

See merge request !19
0 jobs for oshdb-snapshot