From 72b4f727711c76a41a6ee9b1915a52b703a7232e Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Wed, 6 Feb 2019 16:00:24 +0000
Subject: [PATCH] jetbrains-toolbox: Update to version 1.13.4801

---
 jetbrains-toolbox.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/jetbrains-toolbox.json b/jetbrains-toolbox.json
index 2abbf340f5..1cfa53cd3a 100644
--- a/jetbrains-toolbox.json
+++ b/jetbrains-toolbox.json
@@ -1,12 +1,12 @@
 {
     "homepage": "https://jetbrains.com/",
-    "version": "1.13.4733",
+    "version": "1.13.4801",
     "license": {
         "identifier": "Freeware",
         "url": "https://www.jetbrains.com/store/license.html"
     },
-    "url": "https://download.jetbrains.com/toolbox/jetbrains-toolbox-1.13.4733.exe",
-    "hash": "382fc466d9f9460f86668efecba3c85519eb1b8349150ff7cc4a451e3b318b1e",
+    "url": "https://download.jetbrains.com/toolbox/jetbrains-toolbox-1.13.4801.exe",
+    "hash": "40162f5cce55a53ed638130ecfce7dc2c64643121b37338246ccb6c39473c06c",
     "installer": {
         "args": [
             "/S",