[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