Subject: problem is resolved - please close bug

From: Mathias Steiger <[email-masked]>
Date: Fri, 22 Jan 2021 17:06:42 +0100

The source of the problem is that /dev/null was a regular file on my system.

I checked against this before filing the bug, but not in proper ways.

I am sorry for the inconvenience.