This bug was fixed in the package mate-themes - 3.22.20.1-0ubuntu1
--------------- mate-themes (3.22.20.1-0ubuntu1) eoan; urgency=medium
* Use high resolution window control assets. (LP: #1773653) * debian/rules: + Remove obsolete *-border themes. (LP: #1769411)
-- Martin Wimpress <email address hidden> Sun, 06 Oct 2019 20:53:25 +0100
This bug was fixed in the package mate-themes - 3.22.20.1-0ubuntu1
--------------- 1-0ubuntu1) eoan; urgency=medium
mate-themes (3.22.20.
* Use high resolution window control assets. (LP: #1773653)
* debian/rules:
+ Remove obsolete *-border themes. (LP: #1769411)
-- Martin Wimpress <email address hidden> Sun, 06 Oct 2019 20:53:25 +0100