[06:21] <PaoloRotolo> Good morning!
[06:56] <dholbach> good morning
[06:58] <PaoloRotolo> Good morning dholbach and dpm :)
[06:58] <dholbach> ciao PaoloRotolo
[06:59] <dpm> hi PaoloRotolo
[06:59] <PaoloRotolo> dholbach: ciao :D
[15:45] <PaoloRotolo> Hi all!