New commits: commit 1551d858abf336238c1157cdf4f85275a503fd24 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Tue Oct 15 02:19:06 2013 -0400 in Pluto, replace strcmp with streq where appropriate