[Ur] 500 Internal Server Error on cached page

[Istvan Chung]

On 03/05/2013 09:33 AM, Adam Chlipala wrote:
> I've made a tiny change which should fix this problem, in the public
> Mercurial repository for Ur/Web.  Does it work now?
> 

Yes, this has fixed the problem.

Thanks!
-- 
Istvan Chung