On Tue, Sep 30, 2003 at 03:05:51PM +0200, Robin Ericsson wrote: > > Wouldn't this be too much flushing? I'm just asking, not questioning the > > change :) > That's why I'm asking :) > > Maybe every 10th is better? Or maybe time-based, every 10 or 15 seconds? Jordi -- Jordi Mallach Pérez -- Debian developer http://www.debian.org/ jordi sindominio net jordi debian org http://www.sindominio.net/ GnuPG public key information available at http://oskuro.net/~jordi/
Attachment:
signature.asc
Description: Digital signature