[arch-dev-public] pending devtools issues

Aaron Griffin aaronmgriffin at gmail.com
Thu Oct 4 12:34:14 EDT 2007

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?

More information about the arch-dev-public mailing list