The script that made copies of the savannah git repository to the github
repository was on an old server of mine, that died several days ago. I just
moved that very script on a new server, so it should be OK from now.

2016-10-04 14:48 GMT+02:00 Richard Shann <>:

> The status on the site says everything is ok
> anybody any idea why they have stopped?
> Richard
Denemo-devel mailing list

Reply via email to