-
Alexandru Băluț authored
Work around https://bugzilla.gnome.org/show_bug.cgi?id=710888 which prevents an infobar to be displayed twice. Fixes https://phabricator.freedesktop.org/T7444 Differential Revision: https://phabricator.freedesktop.org/D1103
3fe6abae