Commit dc849f01 authored by Johannes Visintini's avatar Johannes Visintini
Browse files

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

Jenkins: remove infer

See merge request !19
parents 1b1026a2 7a723646
Pipeline #2487 created