Bump to 7.13.3

btovar · btovar · commit 223dd87ecc62 · 2024-11-06T09:37:23.000-05:00
diff --git a/configure b/configure
@@ -5,7 +5,7 @@
 
 MAJOR=7
 MINOR=13
-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
