]> git.donarmstrong.com Git - deb_pkgs/autorandr.git/commitdiff
Merge pull request #110 from bricewge/master
authorPhillip Berndt <phillip.berndt@googlemail.com>
Thu, 19 Jul 2018 12:18:58 +0000 (14:18 +0200)
committerGitHub <noreply@github.com>
Thu, 19 Jul 2018 12:18:58 +0000 (14:18 +0200)
AUTORANDR_MONITORS only contains current monitors


Trivial merge