Here's the Ubuntu patch that seems to work: https://launchpadlibrarian.net/113501523/zeroc-ice_3.4.2-8.1_3.4.2-8.1ubuntu1.diff.gz
Jeremy -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
