On Mon, 2003-09-22 at 15:52, Michael Elizabeth Chastain wrote: > History of this file: Keith Seitz created this file on 2002-09-24. > Further changes have been made by Elena Zannoni and David Carlton. > So it is clean from a copyright assignment point of view. Actually, I stole it from gdb.threads. :-) Keith