> > I no longer have access to a Debian GNU/kFreeBSD host and I lack the > time to investigate this issue. Could someone please help?
I will have a try using revision 89973a944b5fae26066755ddf42513284f2f0873 from branch com.adacore.gps.debian.4.3 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
