Commit fd7953ae authored by Benedikt Zoennchen's avatar Benedikt Zoennchen

Merge branch 'issue#242' into 'master'

fix issue #242.

Closes #242

See merge request !66
parents a303cac0 ea3b983c
Pipeline #122557 passed with stages
in 114 minutes and 28 seconds