From: Ingo Bürk Date: Tue, 13 Jun 2017 13:15:49 +0000 (+0200) Subject: Merge pull request #2808 from hwangcc23/fix-2802 X-Git-Tag: 4.14~22 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=78adcdab7fa4b3d77e08e0befe8a6fad37388023;p=i3%2Fi3 Merge pull request #2808 from hwangcc23/fix-2802 Fix 'rename workspace to tosomething' --- 78adcdab7fa4b3d77e08e0befe8a6fad37388023