Dear Maintainer,

   I recently encounter some problems with gnome shell extensions (mainly dash
to dock). After talking to dash to dock developer I found out it is actually a
gnome-shell issue, and it is already a patch for it in debian's gnome-shell
repo (https://salsa.debian.org/gnome-team/gnome-shell), patch commit is
16c5cf01. However the patch seems accidentally reverted in commit d21337c6.
   I tried install from source (ver 47.1-2) with the patch and it works for my
system. Is it possible to roll the patch back to the repo?