Hello, Andy Wingo <[EMAIL PROTECTED]> writes:
> On Sun 17 Aug 2008 14:51, [EMAIL PROTECTED] (Ludovic Courtès) writes: > >> Han-Wen Nienhuys <[EMAIL PROTECTED]> writes: >> >>> I have a request: can you put the gnulib into the repository of GUILE >>> itself? >> >> Yeah, we could do that. > > I think this would be good; and call be ornery, but a simple import, > refreshed occaisionally, would be better than git submodules. Done! Let me know if I forgot any files. That should indeed facilitate testing and reproducibility. Thanks, Ludo'.
