Merge pull request #4944 from Bodigrim/patch-1

Add vector-rotcev
This commit is contained in:
Adam Bergmark 2019-10-28 23:11:02 +01:00 committed by GitHub
commit a8e8727a18
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3059,6 +3059,7 @@ packages:
- extended-reals
- ChasingBottoms
- data-interval
- vector-rotcev
"Ashley Yakeley <ashley@semantic.org> @AshleyYakeley":
- countable