Hello, On Thu, 17 Jun 2021, Martin Sebor via Gcc wrote:
> > The original problem is that the PR wasn't _in the body_ of the commit > > But I see [PR100085] right there at the end of the _summary line_: Emphasis mine. Ciao, Michael.
Hello, On Thu, 17 Jun 2021, Martin Sebor via Gcc wrote:
> > The original problem is that the PR wasn't _in the body_ of the commit > > But I see [PR100085] right there at the end of the _summary line_: Emphasis mine. Ciao, Michael.