Bug#993065: gnome-shell-extension-xrdesktop: Please update for gnome-shell 40

[Jeremy Bicha]

Source: gnome-shell-extension-xrdesktop
Version: 0.14.0-3
Severity: important

git master appears to be compatible with gnome-shell 3.38 and 40.

Thanks,
Jeremy Bicha