K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2010-08-21T14:28:48.243259Z
K 7
svn:log
V 99
Skip a KASSERT which isn't appropriate when not employing page coloring.
Reported by: Michael Moll

END