]> git.sur5r.net Git - i3/i3/commitdiff
Merge pull request #2808 from hwangcc23/fix-2802
authorIngo Bürk <admin@airblader.de>
Tue, 13 Jun 2017 13:15:49 +0000 (15:15 +0200)
committerGitHub <noreply@github.com>
Tue, 13 Jun 2017 13:15:49 +0000 (15:15 +0200)
Fix 'rename workspace to tosomething'


Trivial merge