From e90533302c58acf41f0d8075a0151537d0ddf34d Mon Sep 17 00:00:00 2001
From: Stefan Giehl <stefan@matomo.org>
Date: Sun, 25 Oct 2020 11:17:36 +0100
Subject: [PATCH] new release

---
 DeviceDetector.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DeviceDetector.php b/DeviceDetector.php
index 0c8743767a..b15d6318a4 100644
--- a/DeviceDetector.php
+++ b/DeviceDetector.php
@@ -50,7 +50,7 @@ class DeviceDetector
     /**
      * Current version number of DeviceDetector
      */
-    const VERSION = '3.13.0';
+    const VERSION = '3.13.1';
 
     /**
      * Holds all registered client types