bug#53370: closed (Add Blur My Shell)

[GNU bug Tracking System]

Your message dated Thu, 20 Jan 2022 14:27:32 +0100
with message-id <87r19235bv.fsf@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@gnu.org.)


-- 
53370: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=53370
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: Add Blur My Shell Date: Wed, 19 Jan 2022 16:22:35 +0000

Empty Message

0001-gnu-gnome-xyz-Add-gnome-shell-extension-blur-my-shel.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#53370: Add Blur My Shell
>
>
>
>
> Date: 
>
> Thu, 20 Jan 2022 14:27:32 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
>
>
>
>
> 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
>
>
> --- End Message ---