Disable hreader-lens, see #2018

This commit is contained in:
Dan Burton 2016-10-26 10:14:07 -07:00
parent f674a586ee
commit 76d9f0c21e
No known key found for this signature in database
GPG Key ID: C11E00118F0CE509

View File

@ -2135,7 +2135,7 @@ packages:
"Denis Redozubov <denis.redozubov@gmail.com> @dredozubov":
- tracy
- hreader-lens
# GHC 8 - hreader-lens
"Yuji Yamamoto <whosekiteneverfly@gmail.com> @igrep":
- yes-precure5-command