[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