Merge pull request #7607 from jcranch/patch-7

add Mantissa under jcranch
This commit is contained in:
Jens Petersen 2024-12-12 13:25:21 +08:00 committed by GitHub
commit b8963cfd58
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -5061,6 +5061,7 @@ packages:
"James Cranch <cranch@cantab.net> @jcranch":
- agreeing
- Mantissa
- mappings
- partialord
- radix-tree