Replace record keys in maps#3659

srawlins merged 1 commit intodart-lang:maindart-lang/dartdoc:mainfrom

jensjoha:dont_use_records_as_keys_in_mapsjensjoha/dartdoc:dont_use_records_as_keys_in_mapsCopy head branch name to clipboard