Merge pull request #4900 from Bodigrim/patch-2

Add ChasingBottoms
This commit is contained in:
Joe Kachmar 2019-10-09 23:03:55 -04:00 committed by GitHub
commit 10e7c5465c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3044,6 +3044,7 @@ packages:
- bitvec
- poly
- extended-reals
- ChasingBottoms
"Ashley Yakeley <ashley@semantic.org> @AshleyYakeley":
- countable