K 10
svn:author
V 5
crees
K 8
svn:date
V 27
2012-09-22T17:59:16.183470Z
K 7
svn:log
V 144
Of course, files/patch-* should not be in EXTRA_PATCHES.

I've tested this change properly now, and I'll sit quietly in the corner
for a while.

END