How is DejaGNU maintenance done? What is in src/dejagnu is not what produced dejagnu-1.4 or 1.4.1. It appears it is developed in a fork by Rob Savoye. Should src/dejagnu be synced with the 1.4.1 release? -- -- David (obrien@FreeBSD.org)