Merge pull request #2452 from psibi/enable-persistent-mongodb

Re enable persistent-mongoDB
This commit is contained in:
Dan Burton 2017-04-18 00:08:21 -07:00 committed by GitHub
commit b8853b75e8

View File

@ -254,7 +254,7 @@ packages:
- indents
- language-c
- lhs2tex
# - persistent-mongoDB # bounds: http-api-data
- persistent-mongoDB
- pretty-class
- th-expand-syns
- th-lift