GNU bug report logs - #68551
[PATCH gnome-team] gnu: gnome-desktop: Propagate gnome-remote-desktop and gnome-connections.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Vivien Kraus <vivien <at> planete-kraus.eu>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#68551: closed ([PATCH gnome-team] gnu: gnome-desktop:
 Propagate gnome-remote-desktop and gnome-connections.)
Date: Tue, 06 Feb 2024 17:04:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Tue, 06 Feb 2024 18:03:14 +0100
with message-id <3134b4a92f7956e8056d675ebbb0ecb8597c4ffe.camel <at> planete-kraus.eu>
and subject line [PATCH gnome-team] gnu: gnome-desktop: Propagate gnome-remote-desktop and gnome-connections.
has caused the debbugs.gnu.org bug report #68551,
regarding [PATCH gnome-team] gnu: gnome-desktop: Propagate gnome-remote-desktop and gnome-connections.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
68551: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=68551
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: guix-patches <at> gnu.org
Subject: [PATCH gnome-team] gnu: gnome-desktop: Propagate
 gnome-remote-desktop and gnome-connections.
Date: Tue, 16 Jan 2024 22:32:40 +0100

* gnu/packages/gnome.scm (gnome) [propagated-inputs]: Add gnome-connections
and gnome-remote-desktop.

Change-Id: I218cf0c3c4d52d9f611275737accb0f723fe94b5
---
 gnu/packages/gnome.scm | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index d17676f53b..04a87626d9 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -10183,6 +10183,7 @@ (define-public gnome
           gnome-calendar
           gnome-characters
           gnome-clocks
+          gnome-connections
           gnome-console
           gnome-contacts
           gnome-disk-utility
@@ -10190,6 +10191,7 @@ (define-public gnome
           gnome-maps
           gnome-music
           gnome-photos
+          gnome-remote-desktop
           gnome-screenshot
           gnome-system-monitor
           gnome-text-editor

base-commit: 2cbb1a6e1e2679c7db74b6b906d223fb3661d09f
-- 
2.41.0

[Message part 3 (message/rfc822, inline)]

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: 68551-done <at> debbugs.gnu.org
Subject: [PATCH gnome-team] gnu: gnome-desktop: Propagate
 gnome-remote-desktop and gnome-connections.
Date: Tue, 06 Feb 2024 18:03:14 +0100

I’m closing this one in favor of https://issues.guix.gnu.org/68716

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.