K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2019-07-15T15:02:40.528564Z
K 7
svn:log
V 267
Remove RELEASE_CRUNCH here. It's obsolete.

Remove RELEASE_CRUNCH here. It's obsolete and hasn't worked in a while.  The
build options need to be revisited, since many older ones are listed, while
newer useful ones are not. But that rototilling I'll leave to others.

END