From a56ae6ea5aae2d41a43e1c59886b387b9f6dec69 Mon Sep 17 00:00:00 2001
From: jcbot <jcb@leipert.io>
Date: Mon, 23 Dec 2019 20:18:25 +0100
Subject: [PATCH] Update mps to 2019.3,193.1166 (#74720)

---
 Casks/mps.rb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Casks/mps.rb b/Casks/mps.rb
index 8e2aa4539d1..c6df1836057 100644
--- a/Casks/mps.rb
+++ b/Casks/mps.rb
@@ -1,6 +1,6 @@
 cask 'mps' do
-  version '2019.2.4,192.2456'
-  sha256 '4095ae7e98480ccf05b6474c6dba5fba736149c74c0aa8c53146b97587dda9af'
+  version '2019.3,193.1166'
+  sha256 'a6aeaf37bf487626864c10ed82c54181004920808c342263fc93b57419b9474e'
 
   url "https://download.jetbrains.com/mps/#{version.before_comma.major_minor}/MPS-#{version.before_comma}-macos.dmg"
   appcast 'https://data.services.jetbrains.com/products/releases?code=MPS&latest=true&type=release'