Hey, folks! This morning there’s a good announcement for you, GNOME developers –and fans. Yep, GNOME 3.1.2 development released. Fourth update to GNOME 3.0, first update of the development release available at last (as it was delayed). To compile GNOME 3.1.2, use jhbuild [1] and the modulesets and .jhbuildrc file used on this release [2]. [1] http://library.gnome.org/devel/jhbuild/[2] http://download.gnome.org/teams/releng/3.1.2If you want to know what is new on this release, you can check the release notes of those modules: