[gnome-shell-extensions] Created tag 3.7.5.1



The signed tag '3.7.5.1' was created.

Tagger: Giovanni Campagna <gcampagna src gnome org>
Date: Wed Feb 6 12:13:14 2013 +0100

    3.7.5.1 fixup release

Changes since the last tag '3.7.5':

Giovanni Campagna (1):
      Bump version to 3.7.5.1

Jeremy Bicha (1):
      build: Add theme_data to dist



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]