]> git.sur5r.net Git - i3/i3/commitdiff
Merge pull request #3388 from orestisf1993/cmd_rename_workspace
authorIngo Bürk <admin@airblader.de>
Thu, 6 Sep 2018 06:38:03 +0000 (08:38 +0200)
committerGitHub <noreply@github.com>
Thu, 6 Sep 2018 06:38:03 +0000 (08:38 +0200)
cmd_rename_workspace: correct order of events


Trivial merge