K 10
svn:author
V 7
linimon
K 8
svn:date
V 27
2019-04-23T07:48:36.317845Z
K 7
svn:log
V 192
Remove spurious OPTIONS_DEFAULT which should have been removed as
part of r483669.

PR:		230019
Submitted by:	Greg V (greg at unrelenting dot technology)
Approved by:	portmgr (tier-2 blanket)

END