[arch-dev-public] pending devtools issues
dpmcgee at gmail.com
Thu Oct 4 12:53:54 EDT 2007
On 10/4/07, Aaron Griffin <aaronmgriffin at gmail.com> wrote:
> 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.
> 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
More information about the arch-dev-public