bodedejavu/gnome-shell-extensions — pull request #1 by jonnius (2013-07-16 14:01:21+00:00)
Title: Translation support + DE

Translation support and German translation added.