Re: [GIT PULL] OpenRISC fixes for 5.19-rc5

From: Linus Torvalds
Date: Wed Jul 06 2022 - 14:12:47 EST


On Wed, Jul 6, 2022 at 6:24 AM Stafford Horne <shorne@xxxxxxxxx> wrote:
>
> Sorry, again with proper subject.

Well, pr-tracker-bot still didn't like it, probably because you
replying to yourself meant that the pull request details were quoted
and indented.

So no automated reply for you.

Linus