diff --git a/configure b/configure index 5bc3747331..00b93224d4 100755 --- a/configure +++ b/configure @@ -4,8 +4,8 @@ # *** Set for releases. *** MAJOR=7 -MINOR=13 -MICRO=3 +MINOR=14 +MICRO=0 # Optionally set the source/tag for this code (e.g. RC1 or FINAL). Setting # this variable is instead useful for statically naming the source when it will