Re: [PATCH] build: remove redundant use of $(INCLUDES)

[Paul Eggert]

Thanks, I pushed that.  I also upgraded to the latest
gnulib version.