38.15.3.2. patches/manual directory

Patches in this directory are never applied automatically: it is up to users to manually apply them before usage following the instructions in this documentation.

These are typically patches that don’t contain fundamental functionality, so we don’t feel like forking the target repos.