On Sat, Nov 17, 2012 at 11:26:41PM -0500, Richard Yao wrote: > > Thanks for clarifying that. It will be fixed before it goes into HEAD.
I recommend deleting the branch and starting over, having that commit floating around like that could cause trouble. thanks, greg k-h