gnu: gnome-shell: Update to 3.30.2.
authorRicardo Wurmus <rekado@elephly.net>
Mon, 7 Jan 2019 12:52:33 +0000 (13:52 +0100)
committerKei Kebreau <kkebreau@posteo.net>
Fri, 21 Jun 2019 03:24:41 +0000 (23:24 -0400)
commitbd0dc2df04a1550f41d3d5c7cc2c26ad12468b36
tree39048f101046da343cc25bc1589cb11d228b1db9
parente402eae6d4593a72ff90e77422c9e9f333144c1e
gnu: gnome-shell: Update to 3.30.2.

* gnu/packages/gnome.scm (gnome-shell): Update to 3.30.2.
gnu/packages/gnome.scm