Hello List, I am looking into updating the version of zeromq we use in our group. Since the latest tagged release is from 2014, could you tell us if master is stable and a release is coming? Thank you, Martin Voelkle