K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2014-02-03T19:10:33.076042Z
K 7
svn:log
V 194
Fix a bug introduced in r261437 that failed to honor "optional
profiling-routine" to work, since profiling-routine is not really an
option or a device, but a special case elsewhere in the code.

END