On Mon, 29 Apr 2019 23:55:38 +0100 Harald van Dijk <[email protected]> wrote:
HvD> If you like, regardless of what happens here, you can see if Debian are HvD> willing to add this as a custom patch to their version of dash. They do HvD> apply some patches that are not in the official dash version. Thanks, I'd prefer to reduce, rather than increase, the divergences between Debian and standard versions of dash, but I guess getting the patch in Debian would be preferable to not having it at all, so I'll try submitting it there if nothing happens in, say, a couple of weeks time. If I do this, I'll obviously submit the patch with your authorship information, hopefully this is fine, but please let me know if you have any objections to this. Thanks again, VZ
pgpZTZtx2RDDI.pgp
Description: PGP signature
