Synopsis: Patch that adds functionality to veriexecgen Responsible-Changed-From-To: sevan->bin-bug-people Responsible-Changed-By: wiz%NetBSD.org@localhost Responsible-Changed-When: Mon, 13 Jul 2020 20:10:29 +0000 Responsible-Changed-Why: Reset to role account