[HCoop-Discuss] Recusing myself from HCoop planning

[ketti]

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.