> I suppose /usr/src/savane on vcs isn't used for anything and > and should therefore just be deleted. (But I'm not willing to go that > far just now.)
I concur that /usr/src/savane isn't used. It is behind the HEAD of that branch. It is just causing confusion. I moved it out of the way. Hopefully it won't catch us again. Bob