Merge pull request #7142 from jcranch/patch-3

add partialord
This commit is contained in:
Andreas Ländle 2023-10-10 19:58:03 +02:00 committed by GitHub
commit bb7053ded0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5094,6 +5094,7 @@ packages:
"James Cranch <cranch@cantab.net> @jcranch":
- agreeing
- partialord
- tophat
"Jan Synacek <jan.synacek@scrive.com> @jsynacek":