Re: [PATCH] Make gnulib a submodule

[Akim Demaille]

Le 29 oct. 08 à 15:42, Joel E. Denny a écrit :

> > - ease of change
> >  Now if we need to make changes to GNU Lib, we're using its
> >  true Git repo.
>
> .gitmodules references the read-only gnulib repo at the moment.  Is  
> that
> what we want?

Good point.  We should switch to the real repo.