[darcs-users] darcs patch: replace a hoogle workaround with a comment, we now ind...
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
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