On 21/03/16 19:59, Luca Boccassi wrote: > Given the change of the -dev package name here, should I roll back and b-d > again on libzmq3-dev? I don't mind doing another upload if it's the right > thing.
Yes that'd be fine, but there's no rush. Cheers, Emilio
