-> 3.13.0 final

git-svn-id: svn://svn.valgrind.org/valgrind/branches/VALGRIND_3_13_BRANCH@16446

diff --git a/NEWS b/NEWS
index d62228c01dc7305f3b49c719c5801a3972152d54..7f6befad0bcedbff12013ec79dd5e5ce92c59452 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -254,6 +254,7 @@ n-i-bz  Fix pub_tool_basics.h build issue with g++ 4.4.7.
 
 (3.13.0.RC1:  2 June 2017, vex r3386, valgrind r16434)
 (3.13.0.RC2:  9 June 2017, vex r3389, valgrind r16443)
+(3.13.0:     14 June 2017, vex r3396, valgrind r16446)
 
 
 

diff --git a/configure.ac b/configure.ac
index 345727e195350461ec9c8f20516ff35cf98a2f0c..3874296fde0b688cbb15c28bad92600dad5b208d 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -8,7 +8,7 @@
 ##------------------------------------------------------------##
 
 # Process this file with autoconf to produce a configure script.
-AC_INIT([Valgrind],[3.13.0.RC2],[valgrind-users@lists.sourceforge.net])
+AC_INIT([Valgrind],[3.13.0],[valgrind-users@lists.sourceforge.net])
 AC_CONFIG_SRCDIR(coregrind/m_main.c)
 AC_CONFIG_HEADERS([config.h])
 AM_INIT_AUTOMAKE([foreign subdir-objects])