Merge pull request #7170 from jcranch/patch-4

add mappings
This commit is contained in:
Chris Dornan 2023-11-13 05:33:31 +00:00 committed by GitHub
commit 427b798c9b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5102,6 +5102,7 @@ packages:
"James Cranch <cranch@cantab.net> @jcranch":
- agreeing
- mappings
- partialord
- tophat