Re: [PATCHv2] [fixincludes] Ignore .DS_Store junk files when running make check

[Mike Stump]

On Jul 28, 2015, at 6:38 AM, Bruce Korb <bk...@gnu.org> wrote:
> Definitely much better.  I won't apply it until the weekend, so
> someone else will likely beat me to it.

Looks good to me as well, I checked it in.

Committed revision 226317.