SOLVED Re: [Gnu-arch-users] PANIC: duplicate ids in ORIG tree

[Georg-W. Koltermann]

It turns out I must have added ids for some ids :( by running "find
somepath | xargs tla-add" more than once.  At least I ended up having
".../somepath/.arch-ids/.arch-ids/...".  Once I rm -r-ed those it
worked!

Thanks for all your help.

--
Regards,
Georg.