Commit 81c4c52e authored by Michael Hanus 's avatar Michael Hanus

Fix typo

parent 72023d2f
Pipeline #499 failed with stages