]> git.sur5r.net Git - i3/i3/commitdiff
Merge pull request #3223 from orestisf1993/minor
authorIngo Bürk <admin@airblader.de>
Thu, 5 Apr 2018 08:59:34 +0000 (10:59 +0200)
committerGitHub <noreply@github.com>
Thu, 5 Apr 2018 08:59:34 +0000 (10:59 +0200)
Minor changes


Trivial merge