Mark-extension-as-compatible-with-gnome-shell-42.patch
Retry-playing-ticking-sound-on-error.patch
Simplify-panel-status-menu-box.patch
0004-Support-GNOME-Shell-42-in-Shell-extension.patch
