On (21/07/15 06:32), Paul E. McKenney wrote: > > > > Hello Paul, > > > > I've noticed that this patch set didn't make it to Linus's tree. > > Was it intentional? > > This patch (and the 18 preceding it) didn't make the cutoff for the > just-past merge window. Oh, I see. > If this patch is urgent, please let me know > and I can push it, with luck by the end of next week. > > If that one is urgent, are these two also? No, Paul, nothing is urgent. Many thanks for the detailed clarifications.