From f18a6c947869f57c33d0f6f14029bcc9f4cede1f Mon Sep 17 00:00:00 2001
From: Johan Cwiklinski <jcwiklinski@teclib.com>
Date: Wed, 6 Dec 2017 09:21:03 +0100
Subject: [PATCH] Handle 9.1.7 and 9.1.7.1 releases

---
 inc/update.class.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/inc/update.class.php b/inc/update.class.php
index 75c25f8860..615c6db80c 100644
--- a/inc/update.class.php
+++ b/inc/update.class.php
@@ -389,6 +389,8 @@ public function doUpdates($current_version = null) {
          case "9.1.4":
          case "9.1.5":
          case "9.1.6":
+         case "9.1.7":
+         case "9.1.7.1":
          case "9.2-dev":
             include_once("{$updir}update_91_92.php");
             update91to92();