Merge pull request #3572 from mcschroeder/patch-4

Re-enable ctrie
This commit is contained in:
Alexey Zabelin 2018-04-30 10:26:10 -04:00 committed by GitHub
commit 1c3bc7e23b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2269,7 +2269,7 @@ packages:
- ekg
"Michael Schröder <mc.schroeder@gmail.com> @mcschroeder":
- ctrie < 0 # GHC 8.4 via random-shuffle
- ctrie
- ttrie
"Andrew Lelechenko <andrew.lelechenko@gmail.com> @Bodigrim":