Bug#875714: stretch-pu: package zeroc-ice/3.6.3-5

[Julien Cristau]

On Fri, Nov 17, 2017 at 13:40:04 +0100, Jose Gutierrez de la Concha wrote:

> Should I close this bug now and open a new one after upload 3.6.4-2?
> 
Reusing this one should be fine, remove the moreinfo tag when you send
in a new diff.

Cheers,
Julien