P.S.: BTW, regarding the existence of gcov.php.net, when it was created
there were no off-the-shelf solutions, and therefore we created our own.
It's not awsome, but works fine. Of course I'm fine with killing it when
a replacement becomes available.
To be clear. I don't think that gcov.php.net is useless/bad. I'm impressed how much work was done to create own system like this one. I was just wondering if we don't duplicate some functionalities.
Also, good to know, that bug is fixed, thanks.
Regards,
Maciej.