On Tue, Dec 22, 2020 at 2:05 pm, Allan Day <aday(a)redhat.com> wrote:
When it comes to extensions my personal priority is to ensure that
we
have a functional dash to dock extension ready for the next release.
Why? If it's actually important, then surely it should become a setting
that doesn't require an extension. And if it's not important, why do we
care?