On 04/09/15 11:06, Christian Egli wrote: > > * doc/gnulib-tool.texi: Add a section to the manual outlining how two > instances of gnulib with different modules can be used, for example one > for a lib and another one for associated tools.
Looks good. Pushed. thanks! Pádraig
