From 13e8715dfe95e7bd32e6e57261f23bf1e75fd4d5 Mon Sep 17 00:00:00 2001
From: Sebastian Feldmann <sebastian@phpbu.de>
Date: Fri, 1 Feb 2019 15:29:17 +0100
Subject: [PATCH] Prepare version 5.1.7

---
 src/Version.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Version.php b/src/Version.php
index 56b717bb..3c9daa3b 100644
--- a/src/Version.php
+++ b/src/Version.php
@@ -80,7 +80,7 @@ public function getVersionNumber()
     public static function id() : string
     {
         if (self::$version === null) {
-            $version = new self('5.1.6', dirname(dirname(__DIR__)));
+            $version = new self('5.1.7', dirname(dirname(__DIR__)));
             self::$version = $version->getVersionNumber();
         }