New commits: commit debbc6dac43122ce423736941cf327626eae44dc Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Tue Dec 5 17:05:05 2017 -0500 pluto: perform a bit of logging computation only if it will be used