riot-desktop: 1.5.12 -> 1.5.13

This commit is contained in:
Maximilian Bosch 2020-03-17 16:02:01 +01:00
parent d8d0b60c22
commit bb9822be79
No known key found for this signature in database
GPG Key ID: 091DBF4D1FC46B8E

View File

@ -6,12 +6,12 @@
let let
executableName = "riot-desktop"; executableName = "riot-desktop";
version = "1.5.12"; version = "1.5.13";
riot-web-src = fetchFromGitHub { riot-web-src = fetchFromGitHub {
owner = "vector-im"; owner = "vector-im";
repo = "riot-web"; repo = "riot-web";
rev = "v${version}"; rev = "v${version}";
sha256 = "1qz3n2dlklhbi6rbhv2v769xbr4rcp9s6pm2cc9r33ak6axn4aym"; sha256 = "1p2bdqq8yziv3l7kjkwqvi27a8djav7rk3lsipl7dvdjk1926941";
}; };
electron = electron_7; electron = electron_7;