14:01 < heinrich5991> no Google Summer of Code for mozilla and tor this year
14:24 <@matricks> how is the tor project holdin up?
14:31 < heinrich5991> haven't heard anything specific, so I guess it's doing fine (?)
14:31 < heinrich5991> I think at some point the tried integrating tor into the private mode of firefox (??)