> Date: Fri, 19 Jun 2015 14:33:15 +0100 > From: Gavin Smith <[email protected]> > Cc: [email protected], [email protected] > > I wonder if you could try compiling again now the file is gone from > the repository.
Did that; it didn't help. I will now look deeper into the problem. I hoped someone of the Gnulib developers will chime in and help, but ...
