Hello,

Recently, I had the wish of filtering all gentoo related emails into a separate folder (.gentoo) but then I realised that certain addresses do not end in *.gentoo.org.

For example, bugzilla email addresses are usually like [EMAIL PROTECTED] Anyone know if bugzilla will be returning to a gentoo.org domain anytime soon?

What recipes do people use to filter all gentoo related mails (excluding mailing lists) into a $MAILDIR/.gentoo for example taking into account bugzilla?

With regards


-- [EMAIL PROTECTED] mailing list



Reply via email to