K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2018-05-31T12:30:45.523465Z
K 7
svn:log
V 96
Revert inadvertret change to OPTIONS_DEFAULT in previous commit (r471203).

Pointy hat to:	self

END