]> git.sur5r.net Git - i3/i3/commitdiff
Merge pull request #3433 from orestisf1993/janitorial
authorIngo Bürk <admin@airblader.de>
Tue, 23 Oct 2018 13:27:50 +0000 (15:27 +0200)
committerGitHub <noreply@github.com>
Tue, 23 Oct 2018 13:27:50 +0000 (15:27 +0200)
Janitorial


Trivial merge