Bump to 3.7.3, official

mih · Jun 12, 2013 · 973d9a7 · 973d9a7
1 parent 1487bc8
commit 973d9a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/configure b/configure
@@ -17,7 +17,7 @@ micro=3
 
 # On a release, type would be changed from TRUNK to RELEASE.  TRUNK is a useful
 # signal that the user is not using a blessed (tagged) release.
-type="TRUNK"
+type="RELEASE"
 
 version="$major.$minor.$micro $type"