From: Ingo Bürk Date: Tue, 23 Oct 2018 13:27:50 +0000 (+0200) Subject: Merge pull request #3433 from orestisf1993/janitorial X-Git-Tag: 4.16~14 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=db0add0f11995d4273c76c3c1ad3ab131cea6a99;p=i3%2Fi3 Merge pull request #3433 from orestisf1993/janitorial Janitorial --- db0add0f11995d4273c76c3c1ad3ab131cea6a99