[PATCH] debug: Print header when logging to stdout

[Christof Schmitt]

On Tue, Dec 09, 2014 at 09:26:26AM -0700, Christof Schmitt wrote:
> On Tue, Dec 09, 2014 at 05:23:54PM +0100, Michael Adam wrote:
> > reviewed-by me.
> > 
> > Has noone pushed it or have there been problems with autobuild?
> > I will try to autobuild/push later.
> > 
> > Michael
> 
> Thanks. I was waiting for comments for others, and also got distracted
> with other work. It seems like the majority opinion is to go forward
> with this change. If this change uncovers problems with autobuild, we
> need to address those. Feel free to push.

I just pushed the patch to autobuild.

Christof