K 10
svn:author
V 5
demon
K 8
svn:date
V 27
2014-04-07T11:15:09.229005Z
K 7
svn:log
V 58
Add RIEMANN option.

PR:		184458
Submitted by:	maintainer

END