switched the versioning scheme and "feature releases" are named with
three-dotted decimal digits that ends with ".0" (e.g. "1.9.0").
-The last such release was 2.4.0 done on Apr 30th, 2015. You can expect
+The last such release was 2.5.0 done on Jul 27th, 2015. You can expect
that the tip of the "master" branch is always more stable than any of
the released versions.
dotted decimal, named after the feature release they are updates to
(e.g. "1.8.5.1" was the first maintenance release for "1.8.5" feature
release). These days, maintenance releases are named by incrementing
-the last digit of three-dotted decimal name (e.g. "2.3.4" is the
-fourth maintenance release for the "2.3" series).
+the last digit of three-dotted decimal name (e.g. "2.5.1" is the
+fourth maintenance release for the "2.5" series).
New features never go to the 'maint' branch. This branch is also
merged into "master" to propagate the fixes forward as needed.