Subject: Re: [3 PATCHES] Whitespace cleanup : Replace code-alignment tabs with spaces.
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Sat, 05 Apr 2014 22:34:16 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

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