Up the version number to 1.3, which was just pushed to devtools.

diff --git a/gold/version.cc b/gold/version.cc
index 243cd07..6f11e08 100644 (file)
--- a/gold/version.cc
+++ b/gold/version.cc
@@ -33,7 +33,7 @@ namespace gold
 // version number from configure.ac.  But it's easier to just change
 // this file for now.
 
-static const char* version_string = "1.2";
+static const char* version_string = "1.3";
 
 // Report version information.