On Nov 25, 2018, at 10:14 PM, Toke Høiland-Jørgensen <toke@toke.dk> wrote:

Luca Muscariello <luca.muscariello@gmail.com> writes:

On Fri 23 Nov 2018 at 18:27, Dave Taht <dave.taht@gmail.com> wrote:

On Fri, Nov 23, 2018 at 9:17 AM Luca Muscariello
<luca.muscariello@gmail.com> wrote:

BTW Toke is Doctor Toke now :-)

I hope you made him sweat, at least a little. :)

Difficult to sweet here. It’s freezing, but I’m leaving already. Toke I
think has already started to eat and drink too much...

Haha, indeed. Only catching up to email now... :D

Thanks for a fun discussion, Luca, and to everyone who listened in. I
had a tremendously fun three hours, hope everyone else did as well! :)