New commits: commit 81c767a41d752c9a7f541421264075c95c67cf11 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Tue Nov 10 15:21:55 2015 -0500 KLIPS: make compiler happy another way Alternative to 868fe40d723d4387e572ae1f372eb3d17a952f49