# List of currently applied Debian patches
