Today is the birthday of Pieter Hintjens. This year I will have a German weissbeer in your honor. -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://lists.zeromq.org/pipermail/zeromq-dev/attachments/20181203/bb3b2337/attachment.htm>