diff --git a/configure b/configure index e6de6745f8..8329c3d448 100755 --- a/configure +++ b/configure @@ -5,7 +5,7 @@ MAJOR=7 MINOR=10 -MICRO=0 +MICRO=1 # 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