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

diff --git a/gold/version.cc b/gold/version.cc
index 243cd07890bdf91b7edf5479c6d580dabe95ba36..6f11e08db55da04793b9f5c7d6c073756b07f93f 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.