]> git.donarmstrong.com Git - deb_pkgs/autorandr.git/commit
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)
commitf923b9588c2d6d7a3cba081cfb18f363e0ff45ad
treec0f6da5bc9c8e4e7de02ad842c6c2785c3e50776
parent507df0ece035ba2e90254ade232111bc07ed3a99
parenta64db8d1269af1c76bfa3604de489fe2f6c4a12e
Merge pull request #139 from joseph-jones/master

Fix check for disconnected monitors (fixes #128)