K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2012-07-31T13:32:10.029139Z
K 7
svn:log
V 90
Mirror back, apparently we still got some problems fetching from github from
time to time

END
