Bug#1019450: Update gnome-shell-extension-dashtodock to version 73

[Amr Ibrahim]

Package: gnome-shell-extension-dashtodock

Hello,

Please update gnome-shell-extension-dashtodock to version 73. It's a bug-fix 
release for gnome-shell 42 currently in Debian testing.

Best,
Amr