Version bump for 1.13.

diff --git a/NEWS b/NEWS
index 4e96fb8abf23900d9ffe6687909f543c00410f68..769a4682b9d6d7b28ae52e8e32f09d10c0977987 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,10 +1,10 @@
                        NEWS file for coverity-submit
 
-Repository head:
+1.13 @ 2014-06-04
     Documentation improvements. Code audited with new, stricter pylint.
     Insecure positions on your configuration file are automatically fixed.
 
-1.11 @ 2013-09-27
+1.12 @ 2013-09-27
     Fix buggy Mercurial commit-id method.
     Include coverity-submit version in Submitted-by header.
     Remove extraneous and possibly confusing space in the generated README.

diff --git a/coverity-submit b/coverity-submit
index cbacfe6e47443d758de9f717bb8ece66f37cd142..90ec21539eaf3401cdca6c05206b9f4744b629a6 100755 (executable)
--- a/coverity-submit
+++ b/coverity-submit
@@ -9,7 +9,7 @@ from __future__ import print_function
 import os, pwd, sys, stat
 import ConfigParser, getopt, tempfile, shutil, datetime, commands
 
-version = "1.12"
+version = "1.13"
 
 def commit_id():
     "If we're in a repository directory, try to extract a commit description."