Add patch to mark compatible with GNOME Shell 47

Jeremy Bícharequested to merge
wip/gnome47 into master

Closes: https://bugs.debian.org/1079260

@francois I applied these changes in Ubuntu last month and it seems to work ok.

Merge request reports