GNU bug report logs - #53370
Add Blur My Shell

Previous Next

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#53370: closed (Add Blur My Shell)
Date: Thu, 20 Jan 2022 13:28:01 +0000

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

Your message dated Thu, 20 Jan 2022 14:27:32 +0100
with message-id <87r19235bv.fsf <at> gnu.org>
and subject line Re: bug#53370: Add Blur My Shell
has caused the debbugs.gnu.org bug report #53370,
regarding Add Blur My Shell
to be marked as done.

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


-- 
53370: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=53370
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 Blur My Shell
Date: Wed, 19 Jan 2022 16:22:35 +0000

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

Empty Message

[Message part 4 (text/html, inline)]

[0001-gnu-gnome-xyz-Add-gnome-shell-extension-blur-my-shel.patch (text/x-patch, attachment)]

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

From: Mathieu Othacehe <othacehe <at> gnu.org>
To: Charles <charles.b.jackson <at> protonmail.com>
Cc: 53370-done <at> debbugs.gnu.org
Subject: Re: bug#53370: Add Blur My Shell
Date: Thu, 20 Jan 2022 14:27:32 +0100

Hello,

> +    (synopsis "Blurs different parts of the GNOME Shell.")

I removed the dot here, as suggested by guix lint.

> +    (description "Blur My Shell adds a blur look to different parts of the GNOME
> +Shell, including the top panel, dash and overview.")

I wrapped this line to stay above the 78 columns limit.

Pushed as 30ae72b7986dbb0180ab48877cf8cd7cceb17c17.

Thanks,

Mathieu

Previous Next

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