Marco d'Itri wrote: [...] > The point is not to eliminate bashism but dashism, and so far there are > no demonstrated benefits to deprecating features available in dash but > not in posh. > what feature provided by dash is being deprecated? Like Russ said, if there's any feature not covered by policy that is reasonable to be required please say so. Cheers, Raphael Geissert