Bug#844354: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners

[Daniel Baumann <daniel.baumann@progress-technologies.com>]

Package: wnpp
Severity: wishlist

Hi,

it would be nice if someone would upload the remove-rounded-corners
extension to make the gnome activity-bar look nicer.

An example package is here (feel free to use this as a base in the
public domain, no copyright attribution required):

https://sources.progress-linux.org/distributions/dschinn-extras/packages/gnome-shell-extension-remove-rounded-corners/

Regards,
Daniel