# Debian patches for gnome-system-monitor
