K 10
svn:author
V 3
bde
K 8
svn:date
V 27
2018-07-19T14:24:48.060734Z
K 7
svn:log
V 128
Oops, r336412 undid the fix of the overflow threshold in r323003.  Restore
the previous overflow threshold and adjust comments.

END