K 10
svn:author
V 3
mat
K 8
svn:date
V 27
2019-02-06T12:15:11.463031Z
K 7
svn:log
V 151
Make sure check-sanity runs when running make makesum, to catch up
errors early.  This will prevent errors introduced in r492127 from
happening again.

END