[07:30] <dholbach> good morning
[07:31] <popey> pip pip
[15:22] <jono> jose-, ping?
[15:22] <jono> JoseeAntonioR, ping?
[15:23] <jose-> jono: pong
[15:23] <jose-> what's up?
[18:44] <dholbach> have a great rest of your day everyone - see you tomorrow!