2009-01-08 Gmail/フィルタ/迷惑メールにしない WWW ついさっき気がついたのですが、Gmailのフィルタの操作に「迷惑メールにしない」というオプションが増えていました。便利!# 2008/6/30 ごろには既に存在していた模様。気づくの遅すぎ。