Merge pull request #6022 from michalkonecny/master

This commit is contained in:
Alexey Zabelin 2021-05-19 20:52:07 -05:00 committed by GitHub
commit b7cf79b3e0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3331,8 +3331,8 @@ packages:
- collect-errors
- mixed-types-num
- cdar-mBound
# - aern2-mp
# - aern2-real
- aern2-mp
# - aern2-real
"Bartosz Nitka <niteria@gmail.com> @niteria":
- oeis < 0 # via test-framework