Merge branch 'wip/muktupavels/work-areas' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Wed, 29 Jan 2020 13:38:31 +0000 (13:38 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Wed, 29 Jan 2020 13:38:31 +0000 (13:38 +0000)
per-monitor work areas

Closes #1086 and #980

See merge request GNOME/gtk!1300


Trivial merge