=== verterok is now known as verterok-away === verterok-away is now known as verterok === jelmer_ is now known as jelmer === jelmer is now known as Guest88376 === ubot5` is now known as ubot5