Re: [PATCH] gnulib-tool.py: Fix missing 'gnulib-cache.m4' in EXTRA_DIST.

[Bruno Haible]

Collin Funk wrote:
> This loop in the Python version was written incorrectly. Missing the
> 'not' and 'isfile':

Thanks. Applied, with corrected indentation.

Bruno