Agree. Can we move to issues mailing list or create a new mailing list ? I am interested in the github PRs and comments.
-Wei 2016-01-27 15:59 GMT+01:00 sebgoa <run...@gmail.com>: > Hi folks, > > Shall we disable github notifications to dev@ ? > > It has become quite noisy. > > On the other end you see all the comments fly by... > > -sebastien >
