Commit 8be8ab01 authored by Josef Hoppe's avatar Josef Hoppe

a dot was missing

parent 33461982
Pipeline #150 skipped