Subject: Re: bug#23989: [PATCH] dfa: Reindent dfa.c

From: Paul Eggert <[email-masked]>
Date: Fri, 15 Jul 2016 12:29:38 +0200

Thanks. I think the internal tabs are deliberate, so let's leave those 
alone. (Admittedly the code is not consistent in this area.) I installed 
the other white-space changes.