From: Ingo Bürk Date: Sun, 11 Mar 2018 15:33:10 +0000 (+0100) Subject: Merge pull request #3167 from hwangcc23/fix-3163 X-Git-Tag: 4.16~135 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=dfc330fcb8c9e22ce3a58e5d396cefe90cdff36b;p=i3%2Fi3 Merge pull request #3167 from hwangcc23/fix-3163 Add strip_workspace_name --- dfc330fcb8c9e22ce3a58e5d396cefe90cdff36b