add partialord

This commit is contained in:
James Cranch 2023-10-09 23:53:38 +01:00 committed by GitHub
parent 8943b749c5
commit 857655af78
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":