Update version numbers by hand. Duh. ToDo: automatically
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3207 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/coregrind/vg_main.c b/coregrind/vg_main.c
index ad4341b..0d8df1c 100644
--- a/coregrind/vg_main.c
+++ b/coregrind/vg_main.c
@@ -1996,12 +1996,12 @@
/* Core details */
VG_(message)(Vg_UserMsg,
"Using LibVEX-%s, a library for dynamic binary translation.",
- /*VERSION*/ "SVN >= 653");
+ /*VERSION*/ "SVN >= 671");
VG_(message)(Vg_UserMsg,
"Copyright (C) 2004, and GNU GPL'd, by OpenWorks LLP.");
VG_(message)(Vg_UserMsg,
"Using valgrind-%s, a dynamic binary instrumentation framework.",
- /*VERSION*/ "SVN >= 3196");
+ /*VERSION*/ "SVN >= 3207");
VG_(message)(Vg_UserMsg,
"Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al.");
}