Subject: Re: [3 PATCHES] Whitespace cleanup : Replace code-alignment tabs with spaces.

From: Paul Eggert <[email-masked]>
Date: Sat, 05 Apr 2014 22:34:16 -0700

As the original issue here seems to have been resolved with a "that's 
not a bug", I'm closing the report.