From: Ingo Bürk Date: Thu, 5 Apr 2018 08:59:34 +0000 (+0200) Subject: Merge pull request #3223 from orestisf1993/minor X-Git-Tag: 4.16~102 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=a92acadfc052c0ac73455e03edaf64b75853dde7;p=i3%2Fi3 Merge pull request #3223 from orestisf1993/minor Minor changes --- a92acadfc052c0ac73455e03edaf64b75853dde7