Merge pull request #3215 from Gabriel439/patch-10

Restore `bench`
This commit is contained in:
Dan Burton 2018-01-22 13:01:48 -08:00 committed by GitHub
commit a4e7b95b4e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -727,7 +727,7 @@ packages:
- turtle
- foldl
- morte
# - bench # turtle 1.5
- bench
- dhall
- dhall-bash
- dhall-json