Subject: bug#26256: [PATCH 5/6] gnu: Add userspace-rcu.

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Mon, 27 Mar 2017 21:54:22 +0200

On 27/03/17 21:49, Tobias Geerinckx-Rice wrote:
> Wow. As usual you're a lot better at sniffing out licences than I am.

Now I see Ludo's comments. I tend to agree with them, but who really knows.

Kind regards,

T G-R