Merge remote-tracking branch 'origin/master'

This commit is contained in:
Adam Bergmark 2019-10-29 00:44:22 +01:00
commit 5d0bfab50e

View File

@ -3058,6 +3058,7 @@ packages:
- extended-reals
- ChasingBottoms
- data-interval
- vector-rotcev
"Ashley Yakeley <ashley@semantic.org> @AshleyYakeley":
- countable
@ -4019,6 +4020,9 @@ packages:
"Ian Graves <thegravian@gmail.com> @igraves":
- monad-resumption
"Marius Ghita <mhitza@gmail.com> @mhitza":
- minimal-configuration
"Grandfathered dependencies":
- network
- Boolean