[ubuntu-mono] [Bug 1758502] Re: Please sync zeroc-ice-all-dev from debian unstable

[Hans Joachim Desserud]

Looks like it was synced, and zeroc-ice 3.7.0-5 is available in Ubuntu
18.04.

** Changed in: zeroc-ice (Ubuntu)
       Status: New => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
CLI/Mono Uploaders, which is subscribed to zeroc-ice in Ubuntu.
https://bugs.launchpad.net/bugs/1758502

Title:
  Please sync zeroc-ice-all-dev from debian unstable

Status in zeroc-ice package in Ubuntu:
  Fix Released

Bug description:
  ICE was updated in debian: 
  https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890493
  and is available in unstable
  https://packages.debian.org/unstable/allpackages?format=txt.gz

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/zeroc-ice/+bug/1758502/+subscriptions