Simon Josefsson <si...@josefsson.org> writes: > Bruno, I pushed the following trivial fix because I got 'make dist' > failures.
Sigh, I should have tested more -- there is an automatic EXTRA_DIST added, and the error I got was caused by other problems. I reverted the patch. Sorry about the noise. /Simon
