Update for 0.7.2.

davidgiven · Nov 29, 2018 · 45d01da · 45d01da
1 parent f2f82ce
commit 45d01da
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 9 deletions.
diff --git a/Makefile b/Makefile
@@ -31,7 +31,7 @@ ifneq ($(strip $(shell type $(MAKENSIS) >/dev/null 2>&1; echo $$?)),0)
 endif
 
 # Application version and file format.
-VERSION := 0.7.1
+VERSION := 0.7.2
 FILEFORMAT := 7
 DATE ?= $(shell date +'%-d %B %Y')
 

diff --git a/README b/README
@@ -1,8 +1,8 @@
-                              WORDGRINDER V0.7.1
+                              WORDGRINDER V0.7.2
                               ==================
 
-                           © 2007-2017 David Given
-                                 2017-11-02
+                           © 2007-2018 David Given
+                                 2018-11-29
 
                                 Unix version
 
@@ -145,8 +145,10 @@ http://lua-users.org/wiki/ExPattern for more information.
 REVISION HISTORY
 ================
 
-WordGrinder 0.7.2: 2017-03-21: pasting immediately after loading a
-document no longer hard crashes.
+WordGrinder 0.7.2: 2017-03-21: bugfix release. Pasting immediately after
+loading a document no longer hard crashes. Don't buffer overrun if given
+invalid unicode. Global settings are now updated correctly (in several
+places). Fix a data loss situation when saving fails.
 
 WordGrinder 0.7.1: 2017-11-02: correct and cleaner license reporting;
 rearrange the source so that we can avoid shipping upstream dependencies

diff --git a/README.Windows.txt b/README.Windows.txt
@@ -1,8 +1,8 @@
-                              WORDGRINDER V0.7.1
+                              WORDGRINDER V0.7.2
                               ==================
 
-                           © 2007-2017 David Given
-                                 2017-11-02
+                           © 2007-2018 David Given
+                                 2018-11-29
 
                                Windows version
 
@@ -94,6 +94,11 @@ http://lua-users.org/wiki/ExPattern for more information.
 REVISION HISTORY
 ================
 
+WordGrinder 0.7.2: 2017-03-21: bugfix release. Pasting immediately after
+loading a document no longer hard crashes. Don't buffer overrun if given
+invalid unicode. Global settings are now updated correctly (in several
+places). Fix a data loss situation when saving fails.
+
 WordGrinder 0.7.1: 2017-11-02: correct and cleaner license reporting;
 rearrange the source so that we can avoid shipping upstream dependencies
 if we want. No actual code changes.