It's Been Three Years Since "GNOME 4.0" Was Proposed

Three years ago this week was GUADEC 2012 where GNOME 4.0 was proposed along with GNOME OS. While GNOME 4.0 was supposed to materialize in 2014, that obviously didn't happen, but at least GNOME 3.x has matured a lot and garnered much better support than it had years ago...