New commits: commit 92d59ab17bfb0390ff3d118e90c6a1acf88495a3 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Tue Oct 29 15:17:35 2013 -0400 make eof_from_pluto file static