On 10/4/07, Daniel Isenmann <daniel.isenmann at gmx.de> wrote: > Hi, > > Thomas told me that he has fixed the issue, which I have reported. I had > test the new devtools from git and they work without any problems. I > have checked only the extrapkg script. Hooray. Andy, can you see if the checkpkg changes work?