]> git.sur5r.net Git - i3/i3/commitdiff
Merge pull request #3167 from hwangcc23/fix-3163
authorIngo Bürk <admin@airblader.de>
Sun, 11 Mar 2018 15:33:10 +0000 (16:33 +0100)
committerGitHub <noreply@github.com>
Sun, 11 Mar 2018 15:33:10 +0000 (16:33 +0100)
Add strip_workspace_name


Trivial merge