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

[Daniel Baumann]

close 844354
thanks

Hi,

GNOME >=40 switched to non-rounded corners for fullscreen windows by
default, making this extension obsolete, hence closing the bug.

Regards,
Daniel