Merge pull request #4136 from turion/patch-8

Maintain finite-typelits
This commit is contained in:
Michael Snoyman 2018-11-15 21:09:14 +02:00 committed by GitHub
commit f924fcdcad
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -66,6 +66,7 @@ packages:
- rhine
- rhine-gloss
- dunai-core
- finite-typelits
"Paul Johnson <paul@cogito.org.uk> @PaulJohnson":
- geodetics