> Does this mean that oldmitpthreads can be dropped from hamm? Strictly speaking it should wait until I upload a new GNAT without the suggests line, but it might as well go away now in any case. -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to email@example.com . Trouble? e-mail to firstname.lastname@example.org .