Added Oleg Grenrus' boolean-normal-forms

Emailed Oleg that I added it under my name; will remove if he requests me to do so or if he adds it under his own name.
This commit is contained in:
ygale 2018-10-09 16:08:05 +03:00 committed by GitHub
parent 84c37047dc
commit 453b622b57
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1767,6 +1767,7 @@ packages:
- annotated-wl-pprint
"Yitz Gale <gale@sefer.org> @ygale":
- boolean-normal-forms
- strict-concurrency
- timezone-series
- timezone-olson