Re: About: dmd-internals

[David Nadlinger]

On Saturday, 15 February 2014 at 20:27:33 UTC, Andrei 
Alexandrescu wrote:
I don't know what system forwards github notifications to 
dmd-internals.

I'd guess that it just uses the GitHub e-mail hook feature, but 
I'm not a repo admin, so I can't check.

David