From: Paul Hänsch <paul@plutz.net>
Date: Wed, 18 Jul 2018 22:33:00 +0000 (+0200)
Subject: various style improvements
X-Git-Url: http://git.plutz.net/?a=commitdiff_plain;h=002edf53da30cfd378a6ffca3ae2794361670090;hp=002edf53da30cfd378a6ffca3ae2794361670090;p=serve0

various style improvements
---