GNU bug report logs - #53198
Add & Update some gnome-shell extensions

Previous Next

Package: guix-patches;

Reported by: Charles <charles.b.jackson <at> protonmail.com>

Date: Tue, 11 Jan 2022 21:54:02 UTC

Severity: normal

Done: Mathieu Othacehe <othacehe <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Mathieu Othacehe <othacehe <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#53198: closed (Add & Update some gnome-shell extensions)
Date: Wed, 12 Jan 2022 11:55:02 +0000

[Message part 1 (text/plain, inline)]
Your message dated Wed, 12 Jan 2022 12:54:40 +0100
with message-id <87h7a95fun.fsf <at> gnu.org>
and subject line Re: bug#53198: Add & Update some gnome-shell extensions
has caused the debbugs.gnu.org bug report #53198,
regarding Add & Update some gnome-shell extensions
to be marked as done.

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


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

[Message part 2 (message/rfc822, inline)]
From: Charles <charles.b.jackson <at> protonmail.com>
To: "guix-patches <at> gnu.org" <guix-patches <at> gnu.org>
Subject: Add & Update some gnome-shell extensions
Date: Tue, 11 Jan 2022 21:53:12 +0000

[Message part 3 (text/plain, inline)]
Empty Message
[Message part 4 (text/html, inline)]
[0001-gnu-gnome-xyz-Add-gnome-shell-extension-vertical-ove.patch (text/x-patch, attachment)]
[0002-gnu-gnome-xyz-Add-gnome-shell-extension-jiggle.patch (text/x-patch, attachment)]
[0003-gnu-gnome-xyz-Add-gnome-shell-extension-burn-my-wind.patch (text/x-patch, attachment)]
[0004-gnu-gnome-xyz-gnome-shell-extension-clipboard-indica.patch (text/x-patch, attachment)]
[Message part 9 (message/rfc822, inline)]
From: Mathieu Othacehe <othacehe <at> gnu.org>
To: Charles <charles.b.jackson <at> protonmail.com>
Cc: 53198-done <at> debbugs.gnu.org
Subject: Re: bug#53198: Add & Update some gnome-shell extensions
Date: Wed, 12 Jan 2022 12:54:40 +0100

Hello,

I fixed a few things before pushing:

* Remove trailing #t.
* Switch to new input style.
* Use "file-name" as suggested by "guix lint".
* Edit some descriptions.

Thanks,

Mathieu
This bug report was last modified 3 years and 128 days ago.

Previous Next

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