Merge pull request #5267 from eschnett/patch-1

Re-enable mpi-hs
This commit is contained in:
Joe Kachmar 2020-03-29 23:16:20 +00:00 committed by GitHub
commit 6adb21a6fa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -133,7 +133,7 @@ packages:
- PyF
"Erik Schnetter <schnetter@gmail.com> @eschnett":
- mpi-hs < 0 # via store
- mpi-hs
"Yang Bo <pop.atry@gmail.com> @Atry":
- control-dsl < 0 # via doctest-discover