Just FYI, there is a simple patch (mostly) fixing this problem now at
https://salsa.debian.org/debian/dash/merge_requests/7VZ
pgpFP0sBO0bhM.pgp
Description: PGP signature
Just FYI, there is a simple patch (mostly) fixing this problem now at
https://salsa.debian.org/debian/dash/merge_requests/7VZ
pgpFP0sBO0bhM.pgp
Description: PGP signature