From 426adb4fc50cdfbc29fdc6ab6654956d0bc9f5c8 Mon Sep 17 00:00:00 2001 From: Danny Milosavljevic Date: Wed, 6 May 2020 18:10:02 +0200 Subject: gnu: gnome-todo: Add patch metadata. Follow-up to b17b29454d5edd61eecb4536461789b7a3865a9a. * gnu/packages/patches/gnome-todo-delete-esource-duplicate.patch: Add metadata of patch. --- gnu/packages/patches/gnome-todo-delete-esource-duplicate.patch | 3 +++ 1 file changed, 3 insertions(+) (limited to 'gnu') diff --git a/gnu/packages/patches/gnome-todo-delete-esource-duplicate.patch b/gnu/packages/patches/gnome-todo-delete-esource-duplicate.patch index 9e9c2e2563..c680e86495 100644 --- a/gnu/packages/patches/gnome-todo-delete-esource-duplicate.patch +++ b/gnu/packages/patches/gnome-todo-delete-esource-duplicate.patch @@ -1,3 +1,6 @@ +From: Emmanuele Bassi + +See also: https://gitlab.gnome.org/GNOME/gnome-todo/commit/6cdabc4dd0c6c804a093b94c269461ce376fed4f --- gnome-todo-3.28.1/plugins/eds/gtd-eds-autoptr.h.orig 2020-05-06 14:20:49.589902539 +0200 +++ gnome-todo-3.28.1/plugins/eds/gtd-eds-autoptr.h 2020-05-06 14:20:54.593919721 +0200 @@ -25,4 +25,3 @@ -- cgit v1.2.3