From: Ingo Bürk Date: Wed, 3 Apr 2019 17:13:10 +0000 (+0200) Subject: Merge pull request #3674 from orestisf1993/janitorial X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=56bbc528d7de68100298c6ba85a6488778f3a64e;hp=cc9b227978d06777034f95643aa643c0dee079e4;p=i3%2Fi3 Merge pull request #3674 from orestisf1993/janitorial Janitorial ---