Hi Will, On Thu, 17 Sep 2020 10:02:35 +0100 Will Deacon wrote: > > By "pulled" do you mean removed? (potential terminology clash with git pull > is confusing me here!). "removed" It will not be in today's linux-next. -- Cheers, Stephen Rothwell