From: Ingo Bürk Date: Sat, 24 Mar 2018 17:39:37 +0000 (+0100) Subject: Merge pull request #3199 from orestisf1993/workspace_show X-Git-Tag: 4.16~118 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=16a707cd19aa0083b2156c046529446838b20965;p=i3%2Fi3 Merge pull request #3199 from orestisf1993/workspace_show workspace_show: remove redundant if --- 16a707cd19aa0083b2156c046529446838b20965