security/klee: arrowd@FreeBSD.org takes maintainership
The original submitter gave up on the klee port.
Also update COMMENT and move -DFREEBSD_STP_STATIC_LIBRARY to the STP option section.
PR: 219150
Requested by: arrowd (maintainership change)
security/klee: arrowd@FreeBSD.org takes maintainership Tags None Referenced Files None Subscribers None
Description
Details
|