K 10
svn:author
V 7
vanilla
K 8
svn:date
V 27
2017-08-22T14:35:33.040223Z
K 7
svn:log
V 58
Update rump to latest git revision, and switch to github.

END