Automeris naranja ee5a26593e extensions-window: Add tooltips to headerbar buttons ... "Controls in the header bars of primary windows should all have tooltips". https://developer.gnome.org/hig/patterns/feedback/tooltips.html Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2653>		2023-12-12 16:53:48 +00:00
..
extensions-app	extensions-window: Add tooltips to headerbar buttons	2023-12-12 16:53:48 +00:00
extensions-tool	extension-tool: Remove old compatibility code	2023-12-03 12:25:06 +01:00
gvc@000046e887	subprojects/gjc: Update to lastest master	2023-07-23 11:55:41 +00:00
shew	Bump version to 45.0	2023-09-16 20:27:58 +02:00