From: bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Date: Tue, 10 Aug 2021 12:22:25 +0000 (+0000)
Subject: Merge #618
X-Git-Url: https://gcc.gnu.org/git/?a=commitdiff_plain;h=e10f3d65566101c774a308f8286e2827455941ed;p=gcc.git

Merge #618

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>
---

e10f3d65566101c774a308f8286e2827455941ed