I don't know how we ended up with version specific gnome tags but we should probably merge gnome3 into gnome now.
Come to think of it I don't see why we need gnome-shell either.
Thoughts?
Time to merge the GNOME tags?
Jorge Castro
- 72.9k
- 5
- 104
- 189