=== StevenK_ is now known as StevenK === Fudgey is now known as Fudge === elmo_ is now known as elmo === maclin1 is now known as maclin [17:39] so, looks like in gmail it's possible to filter by header. by writing an external script http://webapps.stackexchange.com/questions/5719/is-it-possible-to-create-a-gmail-filter-that-works-on-headers-other-than-from-t/73544#73544 [17:39] nice google. [22:27] git.launchpad.net offline for 30 minutes for an upgrade | Launchpad is an open source project: https://dev.launchpad.net/ | This channel is logged: http://irclogs.ubuntu.com/ | User Guide: https://help.launchpad.net/ | Support: https://answers.launchpad.net/launchpad === wgrant changed the topic of #launchpad to: git.launchpad.net offline for 30 minutes for an upgrade | Launchpad is an open source project: https://dev.launchpad.net/ | This channel is logged: http://irclogs.ubuntu.com/ | User Guide: https://help.launchpad.net/ | Support: https://answers.launchpad.net/launchpad === wgrant changed the topic of #launchpad to: Launchpad is an open source project: https://dev.launchpad.net/ | This channel is logged: http://irclogs.ubuntu.com/ | User Guide: https://help.launchpad.net/ | Support: https://answers.launchpad.net/launchpad