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)
Fix reuse of list box header widgets

See merge request GNOME/gtk!1114


Trivial merge