Re: linux-next: branches to be removed
From: Miguel Ojeda
Date: Mon Jul 10 2023 - 06:41:59 EST
On Mon, Jul 10, 2023 at 12:16 PM Stephen Rothwell <sfr@xxxxxxxxxxxxxxxx> wrote:
>
> I have resurrected it. You might consider just resetting the branch to
> something recent in Linus' tree.
Done, thanks!
Cheers,
Miguel