[gnome-shell-extensions] Update NEWS

[Giovanni Campagna <gcampagna src gnome org>]

commit e8fd6244b25c833576393e8ec6e269956f0c440e
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Sat Jul 2 14:40:56 2011 +0200

    Update NEWS
    
    Forgot to update before.

 NEWS |   23 ++++++++++++++++-------
 1 files changed, 16 insertions(+), 7 deletions(-)
---
diff --git a/NEWS b/NEWS
index 892e2f8..948df75 100644
--- a/NEWS
+++ b/NEWS
@@ -1,11 +1,20 @@
-3.1.1 (unreleased)
-==================
+3.1.3
+=====
 
-* New extensions: drive-menu, places-menu, native-window-placement,
-  systemMonitor
-* Dock position is configurable
-* Compatibility with released Shell was broken, API usage
-  was updated
+* New extension: a menu for removable drives (drive-menu
+* New extensions: GNOME 2 like menus for apps and places
+  (apps-menu, places-menu)
+* New extension: additional configurability for the window
+  layout in the overview, including a mechanism similar to
+  KDE4 (native-window-placement)
+* New extension: a message tray indicator for CPU and memory
+  usage (uses libgtop) (systemMonitor)
+* user-theme: fixed resetting theme
+* user-theme: support themes installed in /usr/share/themes
+* alternative-status-menu: ported to gnome-shell master
+* dock: ported to gnome-shell master
+* dock: make position configurable (can be left or right)
+* Updated translations
 
 3.0.2
 =====