Commit 226110a6 authored by Grégoire Locqueville's avatar Grégoire Locqueville

Merge branch 'dev' into '388-remove-obsolete-ghc-option'

# Conflicts:
#   bin/update-project-dependencies
parents 9bfa18b3 5c443218
Pipeline #6658 failed with stages
in 26 minutes and 24 seconds