Thanks, I installed that after minor ChangeLog reformatting.
Hello,
On Wed, Aug 12, 2015 at 04:28:24PM -0700, Paul Eggert wrote:
Thanks, looks good, though I'd change "(ceill(d)==1)" to "(ceill (d)
== 1)" as per the usual GNU style.
fix attached.
It's big enough that we'll need paperwork from you for Gnulib.
Copyright assignments for gnulib are now
On 31/08/15 22:07, Dave Chiluk wrote:
> Add me_mountroot to mount_entry so linux machines based on
> /proc/self/mountinfo can distinguish between bind mounts and original
> mounts. In reality bind mounts aren't treated any different than
> mountroot=/ mounts by the kernel, but this is still confusi
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