On 11/29/10 12:14, Jim Meyering wrote: > I haven't tried to trigger that one yet. > Have you?
No, sorry, haven't had time. My current guess, by the way, is that it's not a bug that can be triggered: it's merely useless code that is harmless and can safely be removed. (This is a guess that I also came up with in my sleep, so take it for what it's worth. :-)
