Il giorno dom 25 ott 2020 alle ore 20:27 Flavio Poletti <[email protected]> ha scritto:
> Package: dash
> Version: 0.5.8-2.4
> Severity: normal
It occurred to me that there might be no bug report and still this might
have been solved in more recent versions of the package.
I then got an updated version of Debian 10 with dash 0.5.10.2-5 inside and
lo and behold! My examples are working fine.
So... apologies for the noise and keep up with the good work!
Regards,
Flavio.
