Dear all,

I've committed the attached patch from the PR that removes
a dead code snippet, see discussion.

Regtested originally by Tobias, and reconfirmed on
x86_64-pc-linux-gnu.

Pushed as r13-6862-gb5fce899dbbd72 .

Thanks,
Harald