On Mon, Jan 21, 2008 at 09:00:31PM +0000, Vincent Stemen wrote: > > 1. Leave it last in the list and add what you said as a comment to > make it convenient for developers and mirrors who might need to > use it. > 2. Same as 1 but have crater commented out by default. > 3. Remove crater altogether from the default configuration file. > > What would you guys prefer? >
#3
pgpSPegmJK3t1.pgp
Description: PGP signature
