Re: 'command set' does not set PPs

[Thorsten Glaser]

Martijn Dekker dixit:

>$ mksh -c 'command set -- one two three; printf %s\\n "$@"'

fixed, thanks