Merge branch 'list-box-headers' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 4 Oct 2019 18:27:05 +0000 (18:27 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 4 Oct 2019 18:27:05 +0000 (18:27 +0000)
commit872d2046fdaf12202be5b98f38513b2d96f6ba9d
treef20a4721659820f970f96fd9d5f5f1e187d8c91c
parent44ec142fa9b9cd5b42824bffab70fc5c933a7566
parentb70f389b6418ec953c6995f36ff0c3ad0e26ddc3
Merge branch 'list-box-headers' into 'master'

Fix reuse of list box header widgets

See merge request GNOME/gtk!1114