Hei hei,
I just stumbled over an old entry in the Debian Bug tracker.
Am Dienstag, 20. November 2018, 21:56:13 CET schrieb Ron Yorston:
> Christoph Schulz wrote:
> >I could not reproduce the problem with dash, neither with git dash nor
> >with older versions (0.5.8, 0.5.9.1, 0.5.10.2, to name a few).
> >Something must be handled differently. But I haven't compared busybox
> >ash and dash sources thoroughly either.
>
> The same issue is present in dash and has been discussed in a mailing
> list thread starting here:
>
>https://www.spinics.net/lists/dash/msg01652.html
By chance, is that old Debian Bug here referencing the same problem?
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=541544
Maybe someone could tell Debian, then?
o.O
Alex