I fat-fingered what I thought was a git local command, and committed revision 160105 with bogus changes. If you have rev 160105 checked out, please update your tree. Apologies for the mix up. I'll go hide now. Diego.