[HCoop-Discuss] Joining Cernio

[Adam Chlipala]

docelic and I voted for HCoop to join Cernio, and I've interpreted ntk's 
last message as a statement of support for the idea, so we'd like to 
initiate the joining process.  docelic and I have read, understood, and 
agreed to abide by the Statement of Principles and Terms of Service.  
Graham, if I use the PayPal link on the Cernio site to send $60, will 
that be all else it takes for HCoop to become a Cernio member?