]> git.donarmstrong.com Git - deb_pkgs/autorandr.git/commitdiff
Merge pull request #169 from chmduquesne/closed_lid_treated_as_disconnected
authorPhillip Berndt <phillip.berndt@googlemail.com>
Sun, 10 Nov 2019 21:27:47 +0000 (22:27 +0100)
committerGitHub <noreply@github.com>
Sun, 10 Nov 2019 21:27:47 +0000 (22:27 +0100)
Treating a closed lid as disconnected


Trivial merge