Tags give the ability to mark specific points in history as being important
Release v14 - New menu handling (seems way more sane) - GNOME 3.12 compatibility
I uploaded versions with missing files to extensions.gnome.org. Please forgive.
Very long overdue v11 release: - Icon handling fixes - Compatibility with newer gjs - Vastly improved dash placement
Long overdue v10 release. - Some patches here and there (see git log) - New menu handling code - Experimental dash placement
First release with Gnome 3.10 support, dropped 3.6 Also first release to be tagged and signed.