Bug#1115507: gnome-shell-extension-autohidetopbar: needs update for GNOME Shell 49

[Jeremy Bícha]

Control: severity -1 serious

This appears to be fixed in the upstream 123 release, so I'm raising
the severity.

Thank you,
Jeremy Bícha