Merge pull request #2798 from fpco/reactivate-avers

We should be able to reinstate avers now
This commit is contained in:
Chris Dornan 2017-08-25 12:49:41 +01:00 committed by GitHub
commit df06dfd418

View File

@ -1189,10 +1189,10 @@ packages:
- pipes-network
"Tomas Carnecky @wereHamster":
# - avers # https://github.com/fpco/stackage/issues/2797
# - avers-api # https://github.com/fpco/stackage/issues/2797
# - avers-api-docs # https://github.com/fpco/stackage/issues/2797
# - avers-server # https://github.com/fpco/stackage/issues/2797
- avers
- avers-api
- avers-api-docs
- avers-server
- css-syntax
- etcd
- github-types