[Tux4kids-tuxtype-dev] Git migration - done

[Michał Świtakowski]

Am 24.01.2010 23:19, schrieb David Bruce:
> Hi everyone,
>
> The new git repositories are in their permanent locations.  I would
> encourage anyone who is interested to clone them and make sure pulls
> and pushes work appropriately.

Is Tux4kids-commits still active? I did a commit and push to the new
git repository, but didn't receive any mail from that list.

Michał