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 <rich...@rshann.plus.com>:
> The status on the site says everything is ok
> anybody any idea why they have stopped?
Denemo-devel mailing list