Merge branch 'displaymanager-warning-fix' into 'main'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 1 May 2023 16:56:40 +0000 (16:56 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 1 May 2023 16:56:40 +0000 (16:56 +0000)
Avoid a bad warning

See merge request GNOME/gtk!5901


Trivial merge