diff options
| -rw-r--r-- | gnu/packages/patches/gnome-todo-delete-esource-duplicate.patch | 3 |
1 files changed, 3 insertions, 0 deletions
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 <ebassi@gnome.org> + +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 @@ |