Comment 10 for bug 1819086

Hi Daniel,

thanks for the info

-Have a great day.

-Steve

On 2019-03-10 10:22 p.m., Daniel van Vugt wrote:
> OK, I have generalized this bug to cover any and all extensions (which
> exist in the Ubuntu archive) that might have stopped working in gnome-
> shell 3.31/3.32.
>
> ** Changed in: gnome-shell-extension-dashtodock (Ubuntu)
> Status: Incomplete => Confirmed
>
> ** Summary changed:
>
> - Ubuntu 19.04: Dash-to Dock extension no longer working
> + Ubuntu 19.04: Some gnome-shell extensions no longer work since updating to gnome-shell 3.31/3.32
>