Merge branch 'wip/chergert/gtk4-gtk-main-sync' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 11 Jan 2020 04:41:46 +0000 (04:41 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 11 Jan 2020 04:41:46 +0000 (04:41 +0000)
Rubustness fixes for gtk_main_sync()

See merge request GNOME/gtk!1299


Trivial merge