@shenron42 opened this Issue on May 3rd 2012

It looks like there is no update since 2 months here, but several on the SVN.

Is this repo still alive ?


@robocoder commented on May 24th 2012 Contributor

Sorry, the mirroring script stopped running. I'm in the process of fixing this.

@robocoder commented on May 26th 2012 Contributor

Mirroring has been restored and is now monitored by our CI server. Thanks.

@shenron42 commented on May 29th 2012

Thanks you very much !

This Issue was closed on May 26th 2012
Powered by GitHub Issue Mirror