]> git.sur5r.net Git - i3/i3/commitdiff
Merge pull request #3674 from orestisf1993/janitorial
authorIngo Bürk <admin@airblader.de>
Wed, 3 Apr 2019 17:13:10 +0000 (19:13 +0200)
committerGitHub <noreply@github.com>
Wed, 3 Apr 2019 17:13:10 +0000 (19:13 +0200)
Janitorial


Trivial merge