Merge pull request #3008 from RyanGlScott/patch-1

Add criterion under my name
This commit is contained in:
Michael Snoyman 2017-11-07 15:38:54 +02:00 committed by GitHub
commit 6379feff11
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2039,6 +2039,7 @@ packages:
- base-orphans
- chaselev-deque
- code-page
- criterion
- deriving-compat
- echo
- eliminators