Commit 291233bb authored by mathieui's avatar mathieui

Merge branch 'more-typing' into 'master'

More typing

See merge request !135
parents e662bdee c9e219c1
Pipeline #3274 failed with stages
in 5 minutes and 39 seconds