This one (and PATCH 09/11 that updates the gnulib
version) look good to me.  I see Akim has looked
over the rest of the patch sequence already.  Thanks
to both of you.

Reply via email to