See the Elephant

gmailのフィルタ機能を調整していて, 躓いたところに対しメモ. グループからの連絡をラベルづけしたい!!! 研究室のメンバーからの連絡を"lab"としてラベル付けしたい, と思い googleさんを信じて, 以下のクエリを入力. From:(group:lab) ... まぁ動かないよね. 調べてみると googleのフォーラムにたどり着く. 連絡先のグル…