Re: [bug-inetutils] [PATCH] Update the bootstrap script

[Alfred M. Szmidt]

   something against this change?  The last gnulib version has some
   improvements.

(when (works-p giuseppe-update-bootstrap)
  (push))