Re: Tagging a release?

[Arun Isaac]

Hi Ludo,

Quite the mess up, sorry!

I've pushed several fixes to the HTML engine, and I've updated the
website on CVS. I think everything looks alright now. Could you double
check? Once you approve, I'll put out a bugfix 0.11.1 release.

Regards,
Arun