Release version 0.3.1

nengo · Oct 17, 2017 · 2fd7717 · 2fd7717
1 parent 02055c1
commit 2fd7717
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/CHANGES.rst b/CHANGES.rst
@@ -19,10 +19,11 @@ Release History
    - Bugfixes
    - Documentation
 
-0.3.1 (unreleased)
-==================
-
+0.3.1 (October 17, 2017)
+========================
 
+- Improved some error messages.
+- Fixed an issue with Safari compatibility.
 
 0.3.0 (February 22, 2017)
 =========================

diff --git a/nengo_gui/version.py b/nengo_gui/version.py
@@ -8,7 +8,7 @@
 
 name = "nengo_gui"
 version_info = (0, 3, 1)  # (major, minor, patch)
-dev = 0
+dev = None
 
 version = "{v}{dev}".format(v='.'.join(str(v) for v in version_info),
                             dev=('.dev%d' % dev) if dev is not None else '')