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/?p=i3%2Fi3;a=commitdiff_plain;h=56bbc528d7de68100298c6ba85a6488778f3a64e Merge pull request #3674 from orestisf1993/janitorial Janitorial --- 56bbc528d7de68100298c6ba85a6488778f3a64e