17 Oct
2007
17 Oct
'07
10:31 p.m.
On Wed, Oct 17, 2007 at 09:45:41PM -0400, Michael F. Lamb wrote:
Beware: It's not a darcs-managed patch, because I haven't yet learned how to create one against the website sources.