Merge pull request #5012 from ygale/patch-3

Re-add boolean-normal-forms
This commit is contained in:
Joe Kachmar 2019-12-06 13:32:44 -05:00 committed by GitHub
commit 31aad363f3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1915,7 +1915,7 @@ packages:
- annotated-wl-pprint
"Yitz Gale <gale@sefer.org> @ygale":
- boolean-normal-forms < 0 # via base-4.13.0.0
- boolean-normal-forms
- strict-concurrency
- timezone-series
- timezone-olson