On Wed, Aug 25, 2021 at 5:53 AM Jan Kara <jack@xxxxxxx> wrote:
>
> Forgot to CC fsdevel so adding it now.
Well, the "Re:" in the subject line (or possibly the quoting in the
body) then meant that pr-tracker-bot didn't react to this even after
adding the mailing list.
So this is a manual version of the pr-tracker-bot "it's been merged"
notification.
Linus
