]> gcc.gnu.org Git - gcc.git/commitdiff
git://gcc.gnu.org / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5e723d0 226f2e4)
Merge #618
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Tue, 10 Aug 2021 12:22:25 +0000 (12:22 +0000)
committerGitHub <noreply@github.com>
Tue, 10 Aug 2021 12:22:25 +0000 (12:22 +0000)
618: Make insert_new_definition permissive of the same mapping. r=philberty a=philberty

This was a fix required for `@dkm` work on the module support.

Co-authored-by: Philip Herron <philip.herron@embecosm.com>

Trivial merge
GNU Compiler Collection
This page took 0.068995 seconds and 5 git commands to generate.