Git repository has the wrong name Peter McGoron (11 Feb 2026 13:31 UTC)
Re: Git repository has the wrong name Arthur A. Gleckler (11 Feb 2026 16:24 UTC)
Re: Git repository has the wrong name Arthur A. Gleckler (11 Feb 2026 19:17 UTC)

Git repository has the wrong name Peter McGoron 11 Feb 2026 13:27 UTC

https://github.com/scheme-requests-for-implementation/srfi-225 is named
"Integer Mappings" when it should be "Dictionaries".

SRFI-224 (the actual Integer Mappings) is named correctly.

-- Peter McGoron