Merge pull request #3819 from JackKiefer/patch-2

Renable herms in the build plan
This commit is contained in:
Joe Kachmar 2018-07-11 15:30:56 +00:00 committed by GitHub
commit af68c0fa0b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3419,7 +3419,7 @@ packages:
- cryptocompare - cryptocompare
"Jack Kiefer <jack.c.kiefer@gmail.com> @JackKiefer": "Jack Kiefer <jack.c.kiefer@gmail.com> @JackKiefer":
- herms < 0 # semigroups 0.18.5 - herms
"Sergey Vinokurov <serg.foo@gmail.com> @sergv": "Sergey Vinokurov <serg.foo@gmail.com> @sergv":
- tasty-ant-xml - tasty-ant-xml