Re: bin/34773 (Patch that adds functionality to veriexecgen)

To: gnats-admin%netbsd.org@localhost,security-officer%netbsd.org@localhost,netbsd-bugs%netbsd.org@localhost,sevan%NetBSD.org@localhost,scs5mjf%comp.leeds.ac.uk@localhost
Subject: Re: bin/34773 (Patch that adds functionality to veriexecgen)
From: sevan%NetBSD.org@localhost
Date: Sat, 20 Apr 2019 13:50:08 +0000 (UTC)

Synopsis: Patch that adds functionality to veriexecgen

Responsible-Changed-From-To: security-officer->bin-bug-people
Responsible-Changed-By: sevan%NetBSD.org@localhost
Responsible-Changed-When: Sat, 20 Apr 2019 13:50:08 +0000
Responsible-Changed-Why:
Not a security issue

Prev by Date: Re: bin/54068: ATF tests hung in pipe2_consume
Next by Date: port-evbmips/54133: Binaries fail to execute
Previous by Thread: Re: lib/54131 (libedit: declaration of i inside for loop in unescape_string)
Next by Thread: Re: bin/34773 (Patch that adds functionality to veriexecgen)
Indexes:

Home | Main Index | Thread Index | Old Index