Subject: Done: [PATCH v2] gnu: Add ROPgadget.
From: Jakub Kądziołka <[email-masked]>
To: [email-masked]
Date: Thu, 26 Mar 2020 23:26:43 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed as commit 60eee3e6de2a11b425496bbdf90bfe1f807c8f49 after a review
from ngz on IRC.