[PATCH] gcc-changelog: enhance handling of renamings

Pierre-Marie de Rodat derodat@adacore.com
Thu May 28 09:15:21 GMT 2020


On 28/05/2020 11:09, Martin Liška wrote:
> On 5/28/20 11:05 AM, Pierre-Marie de Rodat wrote:
>> Thanks! The updated patch is attached.
> 
> The patch is fine, please install it.

Now pushed. Thank you again.

-- 
Pierre-Marie de Rodat


More information about the Gcc-patches mailing list