On Thu, Feb 20, 2020 at 9:06 PM Luca Boccassi <bl...@debian.org> wrote: > On Thu, 2020-02-20 at 20:57 +0100, László Böszörményi wrote: > > Luca, what's your opinion on this? I think that needs to be packaged > > separately. > > It's a bit weird, but given it's just a header, IMHO it's fine to keep > shipping it in libzmq3-dev. Upstream we generally try our best to keep > the hpp header forward and backward compatible, so there should be no > surprises. > I do the same in the packages I build upstream in OBS. OK. I don't see the point then being developed in a separate git tree - but let it be. I'm going to sync it with zeromq3 packaging.
Regards, Laszlo/GCS