K 10
svn:author
V 3
mat
K 8
svn:date
V 27
2017-07-26T13:16:39.203015Z
K 7
svn:log
V 122
Convert (again) every usage of https://github.com/.../archive/xxx to USE_GITHUB.

Pointy hat:	acm
Sponsored by:	Absolight

END