メーリングリストのアドレス変更

Gauche-devel-jpに一言送ろうとしたら蹴られた．進学に伴ってメールアドレスが変わっていたのだった（古いアドレスからは転送されてくるので気付かなかった）．
それをきっかけに，登録してるメーリングリストの宛先を新しいものに更新したり，またgmailアカウントに振り分けたりしてみた（次第にGoogleに絡め取られていく自分...）．面倒くさいがまぁいずれのメーリングリストもMailmanを使ってくれているので比較的楽だ．