[03:51] <tsimonq2> slangasek: healpix> :(, ok thank you
=== JanC is now known as Guest97495
=== JanC_ is now known as JanC
=== grumble is now known as welder
=== welder is now known as grumble
=== JanC_ is now known as JanC