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

[Tobias Geerinckx-Rice <me@tobias.gr>]

[-- Attachment #1.1: Type: text/plain, Size: 746 bytes --]

Marius,

On 27/03/17 22:08, Marius Bakke wrote:
> Tobias Geerinckx-Rice <me@tobias.gr> writes:
>> I also prefer your ‘synopsis’ to mine.
> 
> I can update the synopsis of the existing package, and add @code{} 
> wrappers to your arguably better description; as well as adding 
> comments about the other licenses. How does that sound? :)

That sounds about perfect.

> PS: The PGP signature of this email is bad. If you are in fact
> Tobias, please reply with a signed email stating "I will not use
> important software from my host distro any longer" :-P

  $ grep gpg .thunderbird/*/prefs.js
  user_pref("extensions.enigmail.agentPath",
            "/home/nckx/.guix-profile/bin/gpg");

Checkmate, atheists.

T G-R


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 504 bytes --]