projects / mutter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a559341) | patch
workspace: ensure that workarea data is valid when fetching by monitor num
authorMarco Trevisan (Treviño) <mail@3v1n0.net>
Fri, 13 Oct 2017 01:07:12 +0000 (20:07 -0500)
committerJeremy Bicha <jbicha@debian.org>
Sat, 21 Oct 2017 23:47:22 +0000 (00:47 +0100)
commit340af7a120a96b17b5f4ae6520bac67b52aacdaf
tree621fc9dd03862fdb86b815e3621e642ad2a39d04tree | snapshot
parenta559341b536d99bf7739523e1a87f4768f578bbccommit | diff
workspace: ensure that workarea data is valid when fetching by monitor num

https://bugzilla.gnome.org/show_bug.cgi?id=788860

Gbp-Pq: Name 0011-workspace-ensure-that-workarea-data-is-valid-when-fe.patch
src/core/workspace.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.