Well, I guess you're right - the messy headers threw me off. Definetely, the
emails are coming where they should. Please disregard this thread. 

On Mon, Apr 18, 2016 at 06:40PM, Roman Shaposhnik wrote:
> On Mon, Apr 18, 2016 at 9:55 AM, Cos <[email protected]> wrote:
> >
> > That's another reason I don't like GH integration - this stuff doesn't go to
> > dev@ list
> 
> Actually, at least for me -- I think it does. That's kind of the point of GH
> integration -- all communications on PRs get routed back to dev@$project
> 
> Thanks,
> Roman.

Attachment: signature.asc
Description: Digital signature

Reply via email to