Release Spot 0.8.3.

* configure.ac, NEWS: Bump version to 0.8.3.

ChangeLog

@@ -1,3 +1,9 @@
+2012-03-09  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Release Spot 0.8.3.
+
+	* configure.ac, NEWS: Bump version to 0.8.3.
+
 2012-03-09  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Fix a segfault in the CGI script, reported by Denis.

NEWS

@@ -1,4 +1,4 @@
-New in spot 0.8.2a:
+New in spot 0.8.3 (2012-03-09):
 
   * Support for both Python 2.x and Python 3.x.
     (Previous versions would only work with Python 2.x.)
@@ -8,6 +8,7 @@ New in spot 0.8.2a:
     - Fix a segfault in the compression code used by the -Z
       option of dve2check.
     - Fix a race condition in the CGI script.
+    - Fix a segfault in the CGI script when computing a Büchi run.
 
 New in spot 0.8.2 (2012-01-19):
 

configure.ac

@@ -22,7 +22,7 @@
 # 02111-1307, USA.
 
 AC_PREREQ([2.61])
-AC_INIT([spot], [0.8.2a], [spot@lrde.epita.fr])
+AC_INIT([spot], [0.8.3], [spot@lrde.epita.fr])
 AC_CONFIG_AUX_DIR([tools])
 AC_CONFIG_MACRO_DIR([m4])
 AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests])