From 80c305fa5d9b13fbce2e408d52e0d815ca779725 Mon Sep 17 00:00:00 2001
From: Grahame Grieve <grahameg@gmail.com>
Date: Mon, 22 Jul 2019 20:00:44 +0000
Subject: [PATCH] Release new version

---
 release.bat | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/release.bat b/release.bat
index a95de813b..97a2b6461 100644
--- a/release.bat
+++ b/release.bat
@@ -1,7 +1,7 @@
 @echo off
 
-set oldver=3.8.10
-set newver=3.8.11
+set oldver=3.8.11
+set newver=3.8.12
 
 echo ..
 echo =====================================================================