Synopsis: Patch that adds functionality to veriexecgen Responsible-Changed-From-To: bin-bug-people->sevan Responsible-Changed-By: sevan%NetBSD.org@localhost Responsible-Changed-When: Mon, 22 Apr 2019 12:12:53 +0000 Responsible-Changed-Why: take