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)
commit556a8a83514a4265917569e2a6c4b8e89de1e787
tree967819fe48c0e8fff9ae2f906abceeae7dd59da4
parent5e95e15a0329e42357cb864048d1529766749d82
parent248883089c6a9ac221532a8a85a5511f0bc9af77
Merge branch 'wip/muktupavels/work-areas' into 'master'

per-monitor work areas

Closes #1086 and #980

See merge request GNOME/gtk!1300