Commit d62121df authored by Michael Kohlhase's avatar Michael Kohlhase

Merge branch 'grounding-dataset-v1' into 'master'

Grounding dataset v1

See merge request !12
parents 628a2ae7 49cef0de
Pipeline #2080 passed with stage
in 2 minutes and 25 seconds