Merge branch 'kill-primary-monitor-2' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 30 Jan 2020 20:51:07 +0000 (20:51 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 30 Jan 2020 20:51:07 +0000 (20:51 +0000)
Remove primary monitor api

See merge request GNOME/gtk!1371


Trivial merge