From: Ingo Bürk Date: Wed, 17 Jan 2018 20:26:09 +0000 (+0100) Subject: Merge pull request #3080 from orestisf1993/cmd_move_con_to_workspace X-Git-Tag: 4.15~14 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=9610dc29b86c4412a078c636219705aae64b58d7;p=i3%2Fi3 Merge pull request #3080 from orestisf1993/cmd_move_con_to_workspace Reduce repetition in cmd_move_con_to_workspace* --- 9610dc29b86c4412a078c636219705aae64b58d7