Alex Volkov wrote: > Check your gmail spam folder. I think there is an issue with Gmail's spam filter, Torvalds has been complaining about issues with Gmail sending emails from mailing lists to spam: <https://plus.google.com/+LinusTorvalds/posts/DiG9qANf5PA>.