#758 (closed) corrected on #798 (closed)
Merge details
enabled an automatic merge when the pipeline for dace90d2 succeeds
merged
mentioned in commit da0105ff