From: Ingo Bürk Date: Fri, 4 May 2018 19:57:12 +0000 (+0200) Subject: Merge pull request #3277 from orestisf1993/resize-set X-Git-Tag: 4.16~83 X-Git-Url: https://git.sur5r.net/?p=i3%2Fi3;a=commitdiff_plain;h=ae9e2dd86f339b924577959bfa22507d4c95033d Merge pull request #3277 from orestisf1993/resize-set Resize set improvements --- ae9e2dd86f339b924577959bfa22507d4c95033d