K 10
svn:author
V 5
danfe
K 8
svn:date
V 27
2018-09-05T13:51:08.877235Z
K 7
svn:log
V 205
- Do not (ab)use PATCH_SITE_SUBDIR where it's not needed; this also makes
  the address suitable for paste-and-go in the web browser
- Use option helpers to construct PATCHFILES list and during post-patch

END