IRC logs: Adding meeting logs for 2013-07-25.