]> git.donarmstrong.com Git - deb_pkgs/autorandr.git/commitdiff
projects / deb_pkgs / autorandr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 507df0e a64db8d)
Merge pull request #139 from joseph-jones/master
authorPhillip Berndt <phillip.berndt@googlemail.com>
Sun, 17 Feb 2019 11:48:15 +0000 (12:48 +0100)
committerGitHub <noreply@github.com>
Sun, 17 Feb 2019 11:48:15 +0000 (12:48 +0100)
Fix check for disconnected monitors (fixes #128)


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.