K 10
svn:author
V 6
davide
K 8
svn:date
V 27
2013-02-06T16:43:35.191342Z
K 7
svn:log
V 40
Fix build if NO_EVENTTIMERS is defined.

END