* Closed bug #888 (some random coredump)
* Closed bug #889 (focus follow mouse not following)
* Closed bug #892 (client_under_pointer() doesn't check DESKTOP_ALL)
* Closed bug #888 (some random coredump)
* Closed bug #889 (focus follow mouse not following)
* Closed bug #892 (client_under_pointer() doesn't check DESKTOP_ALL)