Merge branch 'wip/exalm/polish' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sun, 24 Oct 2021 19:04:48 +0000 (19:04 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 24 Oct 2021 19:04:48 +0000 (19:04 +0000)
A few inspector papercut fixes

See merge request GNOME/gtk!4092


Trivial merge