Il giorno dom 25 ott 2020 alle ore 20:27 Flavio Poletti <fla...@polettix.it> 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.