Merge branch 'dev' into '388-remove-obsolete-ghc-option'
# Conflicts: # bin/update-project-dependencies
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
cabal | Cabal | ||
|
# Conflicts: # bin/update-project-dependencies
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
cabal | Cabal | ||
|