Commit 737d59a6 authored by Johannes Visintini's avatar Johannes Visintini
Browse files

Merge branch 'remove-infer' into 'master'

Jenkins: remove infer

See merge request !9
parents 43e481b7 ee7f0ade
Pipeline #2490 created