I don't know how we ended up with version specific gnome tags but we should probably merge gnome-shell and gnome3 into gnome now.
It's been long enough and all it does is cause confusion, perhaps consider cleaning up gnome-panel too.
Time to merge the GNOME tags?
Jorge Castro
- 72.9k
- 5
- 104
- 189