Commit 38c0133d authored by Johannes Visintini's avatar Johannes Visintini
Browse files

Merge branch 'remove-infer' into 'master'

Jenkins: remove infer

See merge request !12
parents 96710067 969b39c6
Pipeline #2489 created