Hii Pavel,
They've been working fine for me so far... CCed just to be sure! :-)
Cheers,
--
Gary V. Vaughan (gary AT gnu DOT org)
> On 31 Oct 2014, at 07:57, Pavel Raiskup wrote:
>
> Hi Gary, has something happened with libtool's mailing lists? I was
> unable to send there an email yesterday
These snippet/ headers are installed by gnulib, not libtool. There's no
reason libtool should be trying to delete these for us (and will break
projects), so drop that logic.
People who are using gnulib can use gnulib to update/manage these.
* libtoolize.in (func_require_seen_libtool): Delete sni