From c8d3b4a8fb10c430389cc22158dc997bf6631b3a Mon Sep 17 00:00:00 2001
From: Geoff McLane <ubuntu@geoffair.info>
Date: Tue, 24 Apr 2018 14:46:16 +0200
Subject: [PATCH] Is #713 PR #717 - Bump to 5.7.13 for this merge

---
 version.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/version.txt b/version.txt
index fe56df3..eac1510 100644
--- a/version.txt
+++ b/version.txt
@@ -1,2 +1,2 @@
-5.7.12
-2018.04.23
+5.7.13
+2018.04.24