Re: [PATCH 1/2] gnu: Add r-bit.

[Ben Woodcroft]

On 14/12/16 02:30, Ricardo Wurmus wrote:
[..]
Okay with these changes.  Thanks!

Quite right. I made a few more changes to the description and push the 
series ending in 'ce3f92e7018e140f5e6b7333a604f26506de6c2a'.

Thanks for the prompt review.
ben