On Tue, 2013-11-19 at 10:24 -0800, H. Peter Anvin wrote:> I'll take a proper cleanup,> but just whitespace... just pointless churn.What in your view would be "a proper cleanup" for a20.c?