[darcs-users] darcs patch: replace a hoogle workaround with a comment, we now ind...

David Roundy droundy at darcs.net
Thu Oct 30 19:14:54 UTC 2008


Simon, if you could run

darcs amend-record --edit-description to set the author, that would be
great, so this patch will be attributed to you...

And Jason, thanks for noticing that the patch itself was missing an
author...  :)

David

On Thu, Oct 30, 2008 at 11:49:59AM -0700, Jason Dagit wrote:
> Patches from a phantom contributor....
> 
> On Thu, Oct 30, 2008 at 9:38 AM,  <> wrote:
> > Thu Oct 30 09:38:12 PDT 2008
> >  * replace a hoogle workaround with a comment, we now index names beginning with _


More information about the darcs-users mailing list