[Dune] post-commit hook error

[Oliver Sander]

Great, thanks!

Am 19.12.2011 16:08, schrieb Christian Engwer:
> Hi Oli,
>
>> Does this mean anything to anybody?
>
> this is problem related to a recent change in the post-commit hook.
> I updated the post-commit hook to regenerate the menu for the
> users.dune-project.org website.
>
> I hope I have now fixed this issue.
>
> Cheers
> Christian