add mappings (@jcranch as maintainer)

This commit is contained in:
James Cranch 2023-11-05 23:37:06 +00:00 committed by GitHub
parent 6ab4ab0d69
commit fc47f3773b
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