[HCoop-Discuss] Reorganizing, people-wise and tech-wise

[Adam Chlipala]

Matthias-Christian Ott wrote:
> are there any status updates on this or are the plans put off?
>   

We don't really have an official structure for making decisions like 
this, so it's not clear who you're asking. ;-)

I personally I have put off any more activity on this until after July 
15, when I have a particular non-HCoop deadline to meet.