> > 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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
