Subject: [PATCH] gnu: Add r-abe.
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Date: Thu, 13 Sep 2018 15:23:20 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for the patch!

I found the description a little too long, so I shortened it and pushed
the patch to the master branch with commit 3cadd3ce9.

--
Ricardo