On Fri, Nov 1, 2019 at 11:18 AM Matthew Saltzman <mjs@clemson.edu> wrote:
If you installed Dash-to-dock by hand in your own Gnome shell (from the
extensions Website), remove it and install the Fedora package for it:
gnome-shell-extension-dash-to-dock-67-1.fc31.noarch.