diff --git a/configure b/configure index 5ffa3bf6b6..686cd0b895 100755 --- a/configure +++ b/configure @@ -5,7 +5,7 @@ MAJOR=7 MINOR=14 -MICRO=2 +MICRO=3 # 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