Commit 7a3333dd489895a8914daff98711c21400b483ff

Paul Eggert 2002-04-19T20:54:45

Use 'case' statement to work around ${1+"$@"} problem with Zsh.