1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index 6b9e3c15..2154e829 100755
--- a/configure
+++ b/configure
@@ -442,7 +442,7 @@ fi
 #
 
 
-txr_ver=129
+txr_ver=130
 
 #
 # The all important banner.