Merge branch 'wip/otte/for-main' into 'main'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Thu, 16 Mar 2023 20:59:17 +0000 (20:59 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Thu, 16 Mar 2023 20:59:17 +0000 (20:59 +0000)
Various small fixes

Closes #5380

See merge request GNOME/gtk!5662


Trivial merge