[03:41:15] --- Baastuul_ is now known as Baastuul
[03:58:43] --- sbx is now known as sbx|afk
[14:22:59] --- DarkeZzz is now known as Darke
[15:51:40] --- sbx|afk is now known as sbx
[17:58:35] <wjp> hi Fingolfin
[17:58:41] <wjp> how are you?
[17:58:59] <Baastuul> Good morning, afternoon, and evening to everybody
[17:59:21] <wjp> hi
[18:05:07] <Fingolfin> hi there
[18:05:10] <Fingolfin> thanks I am fine
[18:05:17] <Fingolfin> wjp: did you receive my greetings? ;-)
[18:06:08] <wjp> hm, which ones?
[18:16:35] <Fingolfin> I was on a workshop (about artin/coxeter groups) in Eindhoven last weekend, and I met a guy from Leiden there
[18:16:48] <Fingolfin> I asked him whether he knows you, he said yes ;-). So I asked him to give my greetings to you
[18:16:54] <Fingolfin> dang, can't remember the name right now...
[18:17:21] <Fingolfin> wouldn't be surprised if he just forgot to, though. I'd probably have, in his place ;-)
[18:17:26] <wjp> :-)
[18:18:28] <wjp> was it a phd student?
[18:27:53] <Fingolfin> B. Jansen
[18:27:58] <Fingolfin> according to my list of participants
[18:28:06] <wjp> ah, Bas
[18:28:26] <wjp> I wonder if I've seen him this week
[18:29:35] <Baastuul_> Rrrrraaaggggeeee!
[18:29:42] --- Baastuul_ is now known as Baastuul
[18:33:27] <Baastuul_> Okay, that just pisses me off.
[18:33:35] --- Baastuul_ is now known as Baastuul
[18:33:50] <Baastuul> At least it had the decency to go linkdead after I had ghosted all my nicks. :P
[19:53:25] --- Baastuul_ is now known as Baastuul