Daniel Hartmann

There's this list of things it must be made to port to gnome shell 40: https://gjs.guide/extensions/upgrading/gnome-shell-40.html#contents This diff make the extension work again, but still with errors: ``` diff --git...

branch gnome-3.38 is working!

``` git clone --branch gnome-3.38 https://github.com/micheleg/dash-to-dock.git cd dash-to-dock make make install ``` ALT + F2: type 'r' and Enter. or Restart your computer.