New commits: commit ad9d44e0098b4faba7a519977ff0816052250566 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Sat May 25 10:59:51 2019 -0400 shell scripts: eliminate or tame some uses of $* - replace "for i in $*" with "for i" - replace $* with "$@" where obviously appropriate