Merge pull request #232140 from r-ryantm/auto-update/leo-editor

leo-editor: 6.7.2 -> 6.7.3
This commit is contained in:
Weijia Wang 2023-05-16 23:42:07 +03:00 committed by GitHub
commit cb0f179ad3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
mkDerivation rec {
pname = "leo-editor";
version = "6.7.2";
version = "6.7.3";
src = fetchFromGitHub {
owner = "leo-editor";
repo = "leo-editor";
rev = version;
sha256 = "sha256-n9Ze02Dvoci3QS5slJNpb3CI3zlTq6FsdVbxvZHCJ2A=";
sha256 = "sha256-yzYcdKFhpvxmqzxXMpsdySMk3pLd+ve87W0y2epZoqQ=";
};
dontBuild = true;