Hi, On Mon, Aug 31 2020, Feng Xue OS wrote: >>> gcc/ >>> PR tree-optimization/96806 > >> the component is "ipa," please change that when you commit the patch. > Mistake has been made, I'v pushed it. Is there a way to correct it? git push > --force?
There is. You need to wait until tomorrow (after the commit message gets copied to gcc/ChangeLog by a script) and then push a commit that modifies nothing else but the ChangeLog. IIUC. Thanks again for taking care of this, Martin
