Re: [PATCH 6/9] gnu: gnome-desktop: Update to 3.16.0.

[Ludovic Courtès]

Andy Wingo <wi...@pobox.com> skribis:

> * gnu/packages/gnome.scm (gnome-desktop): Update to 3.16.0.

Applied, thanks!

Ludo’.