K 10
svn:author
V 5
shurd
K 8
svn:date
V 27
2014-12-12T14:30:06.469647Z
K 7
svn:log
V 177
Update to 0.18.
Add more mirrors (primary is currently down) as well as MASTER_SITE_LOCAL
This claims to have integrated patches from the port, but only one patch
gets deleted.

END