Commit ce4d235c authored by Steffen Michels's avatar Steffen Michels

Merge branch 'mapStM' into 'master'

Add mapStM, a combination of mapM and mapSt

See merge request !237
parents 43ce96d5 6bb43811
Pipeline #17547 passed with stage
in 3 minutes and 13 seconds