From: Ingo Bürk Date: Fri, 15 Sep 2017 19:26:35 +0000 (+0200) Subject: Merge pull request #2887 from orestisf1993/next X-Git-Tag: 4.15~83 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=8cad1c1fa622db78ed47d5377045671816686e79;p=i3%2Fi3 Merge pull request #2887 from orestisf1993/next Allow assign to workspace by number --- 8cad1c1fa622db78ed47d5377045671816686e79