/gnome-extra/gnome-shell-extensions/files/

• ../
• 40.3-drive-menu-hide-items.patch
• 40.3-drive-menu-indicator-visibility.patch