[email protected] said: > Mikko is working on this. We are seriously overloaded at the moment. > If anyone wants to help set this up, I believe > https://github.com/samwho/GitHub-Pull-Request-Email-Bot is a good > place to start. > > In the meantime I'll edit the contribution page to ask people to email > zeromq-dev when they make new PRs.
Great, thanks Pieter. -mato _______________________________________________ zeromq-dev mailing list [email protected] http://lists.zeromq.org/mailman/listinfo/zeromq-dev
