portsとports-bugsをgmailのアカウントでsubscribeしてるけど、
金曜日を最後にどっちも来なくなった。
別アカウントには来てるけど。
俺だけ？