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

19 years ago · 5d96d68f64
1 changed files with 1 additions and 1 deletions
--- 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.