Commit aa52a5c9 authored by jvoisin's avatar jvoisin

Please mypy wrt. the last two commits

parent f19f6ed8
Pipeline #24721 passed with stages
in 2 minutes and 24 seconds