Subject: Updated, tested again and merged
From: Hartmut Goebel <[email-masked]>
To: [email-masked]
Date: Wed, 8 Nov 2017 18:26:42 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Addressed all concerns and merged as
0af94ad52f65a5a62febd203e431f17642f07577.

I re-testet it, based on cd5c3979d (@master) using make check-system
TESTS=installed-os