[Grok-dev] Re: Grok 0.12 release planned for tomorrow (tuesday april 22)

[Martijn Faassen]

Kevin Teague wrote:
> The web site sidebar still says 0.11.1. I can fix this later today. (it's
> still hard-coded right now, ideally it should just pull that info from the
> newest, published Folder in /project/releases/).

That's unfortunate. I wish I'd known. This hardcoding frustrated me for 
some hours; obviously this is something that release managers want to be 
able to update themselves. I don't much care for automation, as long as 
there's *something* I can edit somewhere that will change that bit.

Regards,

Martijn