Processed: Re: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners

To: daniel.baumann@progress-linux.org
Cc: wnpp@debian.org, debian-bugs-closed@lists.debian.org
Subject: Processed: Re: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Fri, 24 Feb 2023 17:57:07 +0000
Message-id: <[🔎] handler.s.C.1677261245544333.transcript@bugs.debian.org>
References: <[🔎] d30b7477-60a7-7d91-4014-c405b996c2f5@progress-linux.org>

Processing commands for control@bugs.debian.org:

> close 844354
Bug #844354 [wnpp] RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners
Marked Bug as done
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
844354: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=844354
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#844354: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners
  - From: Daniel Baumann <daniel.baumann@progress-linux.org>

Prev by Date: Bug#844354: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners
Next by Date: Bug#1017786: marked as done (ITP: kokkos -- C++ Performance Portability Programming)
Previous by thread: Bug#844354: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners
Next by thread: Bug#1017786: marked as done (ITP: kokkos -- C++ Performance Portability Programming)
Index(es):
- Date
- Thread