On Tue, Nov 6, 2018 at 6:41 AM, Paul Bolle <pebolle(a)tiscali.nl> wrote:
The userspace tools were split out into kernel-tools last year.
Remove
their sources too.
Signed-off-by: Paul Bolle <pebolle(a)tiscali.nl>
---
Lightly tested. This looks obviously correct, let's hope it actually is
correct.
Applied.
Thanks,
Justin