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

leo-editor: 6.7.1 -> 6.7.2
This commit is contained in:
Weijia Wang
2023-03-15 21:52:45 +02:00
committed by GitHub
@@ -2,13 +2,13 @@
mkDerivation rec {
pname = "leo-editor";
version = "6.7.1";
version = "6.7.2";
src = fetchFromGitHub {
owner = "leo-editor";
repo = "leo-editor";
rev = version;
sha256 = "sha256-4sD/gN9cbgZ9Z5Xiyx2velX5q6J6vOQAeRor10Zamyw=";
sha256 = "sha256-n9Ze02Dvoci3QS5slJNpb3CI3zlTq6FsdVbxvZHCJ2A=";
};
dontBuild = true;