On Mon, 24 May 2004, Christoph Biedl wrote: > Russ Allbery wrote... > > > Ah, the patch is only in CURRENT. Could you try this and let me know if > > it fixes the problem? > > Works fine. Thanks for testing. Russ, I've committed that to STABLE:frontends/cnfsstat.in . -- Jeffrey M. Vinocur jeff at litech.org