Merge branch 'wip/otte/for-main' into 'main'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Mon, 17 Oct 2022 18:34:40 +0000 (18:34 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Mon, 17 Oct 2022 18:34:40 +0000 (18:34 +0000)
singleselection: Be more careful about notifies

See merge request GNOME/gtk!5129


Trivial merge