gnome-shell-extensions-extra/debian/patches/series

debian/0001-multi-monitors-add-on_show-indicator.patch
debian/0002-multi-monitors-add-on_show-activities.patch
debian/0003-no-overview_metadata.patch