[darcs-devel] [patch1744] move mangleUnravelled to new class PrimMangleUnravelled
Ben Franksen
bugs at darcs.net
Mon Nov 19 01:23:31 UTC 2018
Ben Franksen <ben.franksen at online.de> added the comment:
>> * move mangleUnravelled to new class PrimMangleUnravelled
>
> I assume the patch is just moving code around and hasn't changed
> any behaviour.
Yes.
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1744>
__________________________________
More information about the darcs-devel
mailing list