28656ac8a6 · Fix #35 (make the extension work on gnome-shell 3.34). · Updated 5 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?
