Merge pull request #5414 from dschrempf/master

add pava
This commit is contained in:
Adam Bergmark 2020-06-09 01:16:32 +02:00 committed by GitHub
commit e829eb56c1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4270,6 +4270,9 @@ packages:
"Gabriele Sales <gbrsales@gmail.com> @gbrsales":
- cabal-appimage
"Dominik Schrempf <dominik.schrempf@gmail.com> @dschrempf":
- pava
"Grandfathered dependencies":
- network
- Boolean