IRC logs: Adding log for 2013-10-02 meeting.