K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2015-08-08T21:41:59.483157Z
K 7
svn:log
V 67
Fix compilation after r286457 w/o INVARIANTS or INVARIANT_SUPPORT.

END