[darcs-devel] [patch1258] In CommandControl, push the existential down into the ...
Ben Franksen
bugs at darcs.net
Thu Feb 5 12:30:12 UTC 2015
New submission from Ben Franksen <benjamin.franksen at helmholtz-berlin.de>:
Seems I forgot to ever send this patch so it did not appear in the tracker.
It is already in screened, will self-accept.
1 patch for repository http://darcs.net/reviewed:
patch 371167fdced425f6db2db74c5036815733ee1090
Author: Ben Franksen <benjamin.franksen at helmholtz-berlin.de>
Date: Fri Nov 14 19:29:40 CET 2014
* In CommandControl, push the existential down into the alternatives
----------
files: in-commandcontrol_-push-the-existential-down-into-the-alternatives.dpatch, patch-preview.txt, unnamed
messages: 18009
nosy: bf
status: needs-screening
title: In CommandControl, push the existential down into the ...
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1258>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 11946 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20150205/ce88eb73/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: in-commandcontrol_-push-the-existential-down-into-the-alternatives.dpatch
Type: application/x-darcs-patch
Size: 25783 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20150205/ce88eb73/attachment-0003.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: unnamed
Type: application/octet-stream
Size: 5 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20150205/ce88eb73/attachment-0001.obj>
More information about the darcs-devel
mailing list