Bug#1148602: gnome-shell-extension-autohidetopbar: needs update for GNOME Shell 51

[Jeremy Bícha]

GNOME Shell 51 was uploaded to Unstable today. It looks like version
127 of this extension was recently tagged and claims to support GNOME
Shell 51.

Thank you,
Jeremy Bícha