[darcs-devel] [patch1907] Move PrimOf out of PrimPatchBase

Ganesh Sittampalam bugs at darcs.net
Wed Sep 18 16:56:01 UTC 2019


Ganesh Sittampalam <ganesh at earth.li> added the comment:

On 18/09/2019 17:49, Ben Franksen wrote:
> 
> Ben Franksen <ben.franksen at online.de> added the comment:
> 
>> It is a pre-requisite for patch1914 but I think the merits of that are
>> very much in doubt.
> 
> Do you really mean patch1914? (which is in screened)

Sorry, patch1919.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1907>
__________________________________


More information about the darcs-devel mailing list