K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2018-07-23T05:28:54.129473Z
K 7
svn:log
V 249
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)

END