]> git.sur5r.net Git - i3/i3/commitdiff
Merge pull request #3268 from orestisf1993/janitorial
authorIngo Bürk <admin@airblader.de>
Fri, 27 Apr 2018 09:14:45 +0000 (11:14 +0200)
committerGitHub <noreply@github.com>
Fri, 27 Apr 2018 09:14:45 +0000 (11:14 +0200)
Janitorial


Trivial merge