K 10 svn:author V 3 jhb K 8 svn:date V 27 2013-07-08T21:17:20.704674Z K 7 svn:log V 122 Fix build with INVARIANT_SUPPORT enabled but not INVARIANTS. Reported by: "Matthew D. Fuller" END