[Grok-dev] martian release?

[Jan-Wijbrand Kolman]

Chris McDonough wrote:
> On 6/26/09 4:10 AM, Jan-Wijbra
> It would... it's not completely imperative (we can continue sending people to 
> our private index), but it would be a good thing.  Let me know if I can help in 
> any other way.
> 

Martian-0.12 has been released just now.

Let me note again that I did **not** check the current Grok trunk 
against this martian release. Since grok projects pin the martian 
version to 0.11 this shouldn't matter, but I thought I'd make note of it 
anyway :-)


regards,
jw