[19:37] <ibeardslee> morning
[20:29] <ajmitch> morning
[21:10] <mwhudson> morning
[21:10] <mwhudson> thumper: enjoying the github PR process then?
[21:10] <thumper> morning
[21:10] <thumper> otp now :)
[21:11] <hads> morning
[22:32] <olly> morning
[22:40] <kcj[work]> Morning.