On Tue, May 19, 2020 at 10:40:01PM -0300, Arnaldo Carvalho de Melo wrote: > PeterZ, from what we discussed for the next merge Window, perhaps we > should route the kernel bits via the tip tree while I will push the > tooling bits on my 5.8 merge request to Linus, Ok?
Sure, I can take the kernel bits. Thanks!

