On Tue, Jan 18, 2011 at 03:03:24PM +0000, Julio Merino wrote: > If that's the only use case, having an option to enable timestamps is > enough: enable it *while you are hacking* but leave it off for the > benefit of the rest of the world.
Yes, that was all we asked for: leave a switch in place, disable it for all standard builds. Martin
