Somehow I missed Mavibot.

I'll create the Gitbox repo. As there is no mirror yet I'll start a
git-svn convert which takes several hours before I can push to Gitbox.

Let me know if there is anything not yet committed.

Kind Regards,
Stefan

Reply via email to