From: Ingo Bürk Date: Fri, 27 Apr 2018 09:14:45 +0000 (+0200) Subject: Merge pull request #3268 from orestisf1993/janitorial X-Git-Tag: 4.16~88 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=5813525c620cdbc89ee3d1396bcc84d5fac047bc;p=i3%2Fi3 Merge pull request #3268 from orestisf1993/janitorial Janitorial --- 5813525c620cdbc89ee3d1396bcc84d5fac047bc