# Debian patches for gnome-disk-utility
