4 Oct
2007
4 Oct
'07
4:34 p.m.
On 10/4/07, Daniel Isenmann
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?