Ubuntu
gnome-shell-extension-autohidetopbar package

  1. Bug #1683154
  2. Comment #4

Comment 4 for bug 1683154

Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package gnome-shell-extension-autohidetopbar - 20161203-1ubuntu1

---------------
gnome-shell-extension-autohidetopbar (20161203-1ubuntu1) zesty; urgency=medium

  * Add gnome324-compat.patch:
    - Backport git commit to make compatible with GNOME 3.24 (LP: #1683154)

 -- Jeremy Bicha <email address hidden> Sun, 16 Apr 2017 11:14:09 -0400