On 2/26/21 8:24 AM, Mikael Pettersson via Gcc-patches wrote:
> On Fri, Feb 5, 2021 at 2:59 PM Arnaud Charlet <char...@adacore.com> wrote:
>>>> We'd rather not have PR references in the source files, so please remove it
>>>> (it will be there as part of the commit log and git annotate).
>>>>
>>>> OK with the comment updated.
>>> Thanks, here's the revised patch.
>> OK, thanks.
> I forgot to mention that I don't have commit rights to gcc, so can
> someone please commit this for me? Thanks.
Thanks. Pushed to the trunk.
jeff
