K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2016-12-02T22:25:11.141626Z
K 7
svn:log
V 69
Fix build without INVARIANTS.

This is a direct commit to stable/10.

END