Re: Web site (Re: Bug 2015 patch + profiling)

[Juergen Spitzmueller]

Martin Vermeer wrote:
> Yes, you're right. But this patch didn't touch that (has is been
> broken?)

Yes, it has been broken. I should have made clearer that I do not blame your 
patch for it, I just noticed it again.

Jürgen