Subject: Done: [PATCH v2] gnu: Add ROPgadget.

From: Jakub Kądziołka <[email-masked]>
Date: Thu, 26 Mar 2020 23:26:43 +0100

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