Merge branch 'master' into doc-haddock
commitbb4a340aeea062d217d412999a089d127c99ae16
authorAndreas Abel <andreas.abel@ifi.lmu.de>
Wed, 4 May 2022 06:23:08 +0000 (4 08:23 +0200)
committerGitHub <noreply@github.com>
Wed, 4 May 2022 06:23:08 +0000 (4 08:23 +0200)
tree090e3d8b24c5238aec497571aa580cefb10d453b
parenta7c2a4d0d72ddc4122988f8b4707a074eead69be
parent63841fb3380b902d12118fc272b5421a923cd647
Merge branch 'master' into doc-haddock
doc/cabal-project.rst