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