On Mon, Jul 09, 2007 at 06:16:48AM +0200, Ulf Samuelsson wrote: >Checked if gnuconfig was up to date >Seems it was not, but cvs up was not clean. >What do we do? We usually update if needed. This message leads me to think that you require (or at least want) it to be updated. Well, try r19055