K 10
svn:author
V 6
brooks
K 8
svn:date
V 27
2014-05-28T16:47:30.158310Z
K 7
svn:log
V 71
Update to a new snapshot including CHERI stack fixes from the weekend.

END