New commits: commit ea8efd3a9d7ab185cdca2ee631c0f432eaf67858 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Mon Jan 26 13:16:04 2015 -0500 programs/pluto/timer.c: add some doubts to the code