From: Paul Hänsch <paul@plutz.net>
Date: Thu, 5 Jul 2018 13:39:33 +0000 (+0200)
Subject: multiple minor improvements
X-Git-Url: http://git.plutz.net/?a=commitdiff_plain;h=ad9ff11ccc78543cee20d00e0a0e7c9610761b0f;hp=ad9ff11ccc78543cee20d00e0a0e7c9610761b0f;p=serve0

multiple minor improvements
---