Commit 793a76c3 authored by Johannes Leins's avatar Johannes Leins

Merge branch 'hotfix_args' into 'master'

Hotfix input/args

See merge request !5
parents ff88e7d3 b52efe0b
Pipeline #10455 passed with stage
in 1 minute and 5 seconds