ikalnitsky/gnome-shell-extension-icon-hider — pull request #14 by jonnius (2013-07-18 11:49:28+00:00)
Title: de_updated

po file should be in git, so that others can edit it...