From eb34b2c1eb83610c8c7c190e451249db5cef2d39 Mon Sep 17 00:00:00 2001
From: Per Bothner <per@bothner.com>
Date: Sun, 19 Feb 2017 14:54:54 -0800
Subject: [PATCH] Increase version number 0.71.

---
 hlib/terminal.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hlib/terminal.js b/hlib/terminal.js
index 93576a9c..2c5ac4c3 100644
--- a/hlib/terminal.js
+++ b/hlib/terminal.js
@@ -143,7 +143,7 @@ function DomTerm(name, topNode) {
 
     this.verbosity = 0;
 
-    this.versionString = "0.70";
+    this.versionString = "0.71";
     this.versionInfo = "version="+this.versionString;
 
     // Use the doLineEdit function when isLineEditing().