Re: CVS update: config/default/builders/core

[Pierre van Rooden]

I suggest we just make a vote out of this then, with a possible 
suggestion on a default value (i.e. -1 ?)

-- 
Pierre van Rooden
Mediapark, C 107 tel. +31 (0)35 6772815
"So long, and thanks for all the fish"