k...@freefriends.org (Karl Berry) writes: > FWIW, I also agree with just removing the module instead of trying to > ever-escalate warnings. My experience is that few people are likely to > deal with it until it becomes an error regardless of warning.
Alas, I don't think it becomes an error even if we remove it -- I recall that gnulib-tool just prints another warning for unknown modules. But it shouldn't do any harm, which is the important aspect. I have removed the module now. > I would agree even more with keeping the module as an "alias" for stdlib > so as to avoid this seemingly-gratuitious backward incompatibility, but > nobody suggested that, so I guess I won't :). It is more work documenting solutions like that... I hope it won't be necessary. /Simon
