Reverted bogus commit in rev 160105

[Diego Novillo]

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.