[darcs-devel] darcs patch: make constructors of PatchInfo private. (and 2 more)

[David Roundy]

Please ignore this, it was an accidental send.  :(

Eric's patch has the good effect of privatizing PatchInfo constructors on
its own!

David

On Thu, Jul 26, 2007 at 12:24:56PM -0700, David Roundy wrote:
> Wed Jul 25 17:46:38 PDT 2007  David Roundy <droundy at darcs.net>
>   * make constructors of PatchInfo private.
> 
> Wed Jul 25 14:06:44 PDT 2007  Eric Kow <eric.kow at loria.fr>
>   * Expose more PatchInfo parts and switch to record syntax.
> 
> Thu Jul 26 12:24:01 PDT 2007  David Roundy <droundy at darcs.net>
>   * resolve conflict in Patch.Info.