4 Oct
2007
4 Oct
'07
6:53 p.m.
On 10/4/07, Aaron Griffin <aaronmgriffin@gmail.com> wrote:
On 10/4/07, Daniel Isenmann <daniel.isenmann@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?
I used checkpkg and extrapkg last night without problems, but it would be good to hear a few more voices before we bump the official package. Any other features/bug reports/requests for these tools before we do another release? -Dan