chiark / gitweb /
fix the PATCHES_DIR deprecation warning