Does the notifications mail list have encounter some problems? I have commented 
one PR, but 
haven??t received the notification email.
Does anybody have the same problem?

Reply via email to