[gnome-system-monitor] Created tag GNOME_SYSTEM_MONITOR_3_13_1

[Robert Roth <robertroth src gnome org>]

The unsigned tag 'GNOME_SYSTEM_MONITOR_3_13_1' was created.

Tagger: Robert Roth <robert roth off gmail com>
Date: Tue Apr 29 00:01:29 2014 +0300

    Tagged 3.13.1 release

Changes since the last tag 'GNOME_SYSTEM_MONITOR_3_12_0':

Benoît Dejean (1):
      Initialize GSMApplication members

Christian Kirbach (1):
      Added German help translation

Khoem Sokhem (1):
      Updated Khmer translation

Marek Černocký (1):
      Updated Czech translation

Matthias Clasen (1):
      Drop gnome-icon-theme dependency

Piotr Drąg (1):
      doap: update URLs

Robert Roth (8):
      Use headerbar for preferences dialog
      Use headerbar in process properties dialog
      Use headerbar in memory maps dialog
      Use headerbar in open files dialog
      Use searchentry in open files dialog
      Simplified search for open files dialog
      Revert "Do not clear the load graph when switching to/from stacked"     
https://bugzilla.gnome.org/show_bug.cgi?id=728644     This reverts commit 
5b2598f9edfb39f802ec45f4c839d2eba31b4b20.
      Release 3.13.1

Stefano Facchini (1):
      Use a popover for gear menu

Victor Ibragimov (1):
      Tajik translation updated

Yosef Or Boczko (1):
      Updated Hebrew translation