Merge pull request #3588 from VictorDenisov/master

Return mongoDB to nightly build
This commit is contained in:
Dan Burton 2018-05-08 14:48:00 -07:00 committed by GitHub
commit 213037992b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2669,7 +2669,7 @@ packages:
- open-witness
"Victor Denisov <denisovenator@gmail.com> @VictorDenisov":
- mongoDB < 0 # GHC 8.4 via random-shuffle
- mongoDB
- bson
"Alexis King <lexi.lambda@gmail.com> @lexi-lambda":