[14:15:24] *** Quits: annaaerinteenbot (~annaaerin@cse-principia.cse.chalmers.se) (Ping timeout: 258 seconds)
[14:17:07] *** Joins: annaaerinteenbot (~annaaerin@cse-principia.cse.chalmers.se)
[15:44:11] <drbean> gf developers out for the summer? No new commits in the github repo since July 5.
[15:52:12] <daherb> drbean: the github sync might not be working at the moment