From: Ingo Bürk Date: Thu, 6 Sep 2018 06:38:03 +0000 (+0200) Subject: Merge pull request #3388 from orestisf1993/cmd_rename_workspace X-Git-Tag: 4.16~48 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=7257c3b52894f10cbc4dd3ef0dccba725ef425f5;p=i3%2Fi3 Merge pull request #3388 from orestisf1993/cmd_rename_workspace cmd_rename_workspace: correct order of events --- 7257c3b52894f10cbc4dd3ef0dccba725ef425f5