gwern0: > Mon Nov 12 09:44:18 EST 2007 gwern0 at gmail.com > * README: update to reflect library change This conflicts with a patch I pushed this morning. Can you resend? > Mon Nov 12 09:46:43 EST 2007 gwern0 at gmail.com > * scripts/generate-configs: update docs This was applied. -- don