Hi everyone,

On May 17th, we learned of a security vulnerability in an unused section of our website. We have fixed the problem and as far as we know, no personal information was leaked.

Thanks to Prabhakar Damor for finding and reporting the vulnerability.

%d bloggers like this: