Commit 5f828a33 authored by Michael Kohlhase's avatar Michael Kohlhase

typos

parent 69302f39
Pipeline #436 failed with stages
in 1 second