[HCoop-Discuss] Recusing myself from HCoop planning

[Adam Chlipala]

ketti wrote:
> On Thu, Jul 30, 2009 at 4:10 PM, Adam Chlipala<adamc at hcoop.net> wrote:
>
>   
>> I'd rather not even have admin privileges on the new servers, so that I
>> can avoid being involved in technical stuff at all.  This means that
>> it's probably easiest if the new admins find a replacement for what
>> Domtool is giving us now, though I might be persuaded to spend some time
>> setting up Domtool again.
>>     
>
> I am familiar enough with SML to volunteer to maintain Domtool.
>   

Thanks, that's good to know.  We'll see if the architecture that folks 
come up with includes Domtool.