Bruno Haible wrote: > Paolo Bonzini wrote: >> I'll make it say "guessing yes" and still put "yes" in the variable. > > Thanks. Here is what the adaptation in gnulib could look like. But frankly, > I'll prefer to remove the module altogether: The bug it cures occurred only > on Sequents; the last time I heard about this kind of machine was in 1996. > > So, any objections to removing this module?
Why don't we first mark it as obsolete? I'll stop using it in coreutils right away, and we can remove it altogether after a reasonable grace period.
