element-desktop: 1.7.12 -> 1.7.13

https://github.com/vector-im/element-desktop/releases/tag/v1.7.13
This commit is contained in:
Maximilian Bosch 2020-11-09 17:56:21 +01:00
parent feb893a6f8
commit ad63addc5e
No known key found for this signature in database
GPG Key ID: 091DBF4D1FC46B8E
2 changed files with 3 additions and 3 deletions

View File

@ -2,7 +2,7 @@
"name": "element-desktop", "name": "element-desktop",
"productName": "Element", "productName": "Element",
"main": "src/electron-main.js", "main": "src/electron-main.js",
"version": "1.7.12", "version": "1.7.13",
"description": "A feature-rich client for Matrix.org", "description": "A feature-rich client for Matrix.org",
"author": "Element", "author": "Element",
"repository": { "repository": {

View File

@ -8,12 +8,12 @@
let let
executableName = "element-desktop"; executableName = "element-desktop";
version = "1.7.12"; version = "1.7.13";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "vector-im"; owner = "vector-im";
repo = "riot-desktop"; repo = "riot-desktop";
rev = "v${version}"; rev = "v${version}";
sha256 = "08d9llrglap5bbicdkbdl9l71wba2kkyhdyd0a4iqdz3l2jvv698"; sha256 = "04nm5amhc0bqqwcc1c9x88lnbjaaryfs0xhi4as65l5ac4jdkzjc";
}; };
electron = electron_9; electron = electron_9;