Deleting ports: bittorent, py-dsv & spe

[Mojca Miklavec]

On Tue, Aug 27, 2013 at 6:17 PM, Clemens Lang wrote:
>
> That being said, to answer your immediate question there's also the
> statistics branch lying around that we could work on and get merged. It
> seems to me there's only a few things to be done before a merge. I
> already have the server-side setup and (coincidentially) did set up
> automatic updates of the server's port list today.

That would be ideal. I wasn't aware that this is so close to be done.

Mojca