Merge branch 'label-tabs' into 'main'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 2 Aug 2022 00:18:44 +0000 (00:18 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 2 Aug 2022 00:18:44 +0000 (00:18 +0000)
Label tabs

See merge request GNOME/gtk!4914


Trivial merge