From: Ingo Bürk Date: Thu, 29 Mar 2018 10:06:05 +0000 (+0200) Subject: Merge pull request #3207 from orestisf1993/get_workspace_by_ X-Git-Tag: 4.16~110 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=145a93d5b44412f04d4966f286876c19601e053b;p=i3%2Fi3 Merge pull request #3207 from orestisf1993/get_workspace_by_ Introduce get_workspace_by_* functions --- 145a93d5b44412f04d4966f286876c19601e053b