--- Begin Message ---
Subject: |
[PATCH gnome-team] gnu: Remove gnome-todo. |
Date: |
Thu, 12 Oct 2023 12:50:00 +0200 |
* gnu/packages/gnome.scm (gnome-todo): Delete variable.
---
gnu/packages/gnome.scm | 3 ---
1 file changed, 3 deletions(-)
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index c25e95f1ad..d8f22d5d88 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -10476,9 +10476,6 @@ (define-public endeavour
to perfectly fit the GNOME desktop.")
(license license:gpl3+)))
-(define-public gnome-todo
- (deprecated-package "gnome-todo" endeavour))
-
(define-public dialect
(package
(name "dialect")
base-commit: b701a7018d94aebef6a967ec235c72c1f7cdfe5c
--
2.41.0
--- End Message ---
--- Begin Message ---
Subject: |
Re: [bug#66497] [PATCH gnome-team] gnu: Remove gnome-todo. |
Date: |
Fri, 13 Oct 2023 20:40:51 +0200 |
User-agent: |
Evolution 3.46.4 |
Am Donnerstag, dem 12.10.2023 um 11:46 -0400 schrieb Maxim Cournoyer:
> Liliana Marie Prikler <liliana.prikler@gmail.com> writes:
>
> > * gnu/packages/gnome.scm (gnome-todo): Delete variable.
>
> LGTM!
Pushed.
Thanks
--- End Message ---